Succinct Data Structure Library 2.0

The Z3 Theorem Prover

Support for Armbian in Amlogic, Rockchip and Allwinner boxes. Support a311d, s922x, s905x3, s905x2, s912, s905d, s905x, s905w, s905, s905l, rk3588, rk3568, rk3399, rk3328, h6, etc.

A cross-platform GUI library for Rust, inspired by Elm

Everything about note management. All in Zotero.

A Jupyter server based on FastAPI 🚀

A tool for exploring each layer in a docker image

No-code LLM Platform to launch APIs and ETL Pipelines to structure unstructured documents

Granite Code Models: A Family of Open Foundation Models for Code Intelligence

Tool for checking whether a JSON schema is a subschema of another JSON schema.

VATA Tree Automata Library

File formats dissections and more...

A general-purpose programmatic animation tool

A jq clone focussed on correctness, speed, and simplicity

A General-purpose Task-parallel Programming System using Modern C++

Fork of blockdiag

The BToolkit, a toolkit supporting software development with the B-method.

Customize your Zotero workflow.

Talk to bluesky

A signature-based search engine

An extensible framework for program autotuning

GraphIt - A High-Performance Domain Specific Language for Graph Analytics

A library for efficient similarity search and clustering of dense vectors.

An interactive Git learning game!

Build Container Images In Kubernetes

A fantastic new revival of ATF's classic Spartan, a geometric sans-serif that has no problem kicking its enemies in the chest.

Formera (aka FuturaRenner) family is a digital version of Futura lead character belonging to the typography department of Ecole Nationale Supérieure des Arts de la Cambre, and probably the first dr…

Research Domain Ontology

An alternative BEAM implementation, designed for WebAssembly

A High-Fidelity Web Archiving Extension for Chrome and Chromium based browsers!