A curated collection of resources for the Boolean Satisfiability Problem (SAT).

My personal fork of the Boost.Spirit json parser from Ciere Labs

Build fast web applications with Rust.

Minimal EDF deadlines by convex hull

Secure your online accounts with Open Authenticator : a free, open-source and lovely-crafted TOTP manager.

Monorepo for the primary Web Origami packages

Curated list of resources on testing distributed systems

SAT solvers from Knuth's The Art of Computer Programming, Vol. 4B

rejit is a simple regular expression just-in-time compiler for Python

A beautiful terminal dashboard for hledger 💰

A Creative Coding Framework for Rust.

Get up and running with OpenAI gpt-oss, DeepSeek-R1, Gemma 3 and other models.

Proof-of-concept for the GhostWrite CPU bug.

An implementation and definition of the Rust trait system using a PROLOG-like logic solver

A hash table with consistent order and fast iteration; access items by key or sequence index

PLDB: a Programming Language DataBase

Re-Editor is a powerful lightweight text and code editor widget.

The C++ Iceberg

Digging a Foundation With A Spoon

An awesome code differencing tool

The most powerful and modular diffusion model GUI, api and backend with a graph/nodes interface.

The fastest knowledge base for growing teams. Beautiful, realtime collaborative, feature packed, and markdown compatible.

ESP8266 based C64 style thermometer with last hour/day graphs

Wyrm is a GCC GIMPLE to LLVM IR transpiler

Creusot helps you prove your code is correct in an automated fashion.

building the ultimate code editor with flutter

A curated list of awesome header-only C++ libraries

Computes the AST difference (aka edit script) between two Spoon Java source code abstract syntax trees