🗻 LSM-based embeddable key-value storage engine written in safe Rust

A Zig ECS.

A Rust compiler backend targeting CIL(.NET IR) and C.

A cross-platform, safe, pure-Rust graphics API.

A Simple showcase for the Sea-of-Nodes compiler IR

Interface with the rustc compiler for the purpose of program verification

Faster division by constants that aren't known at compile-time

XPath, XSLT

(ab)using Rust's async/await syntax to write simple state machine based coroutines

An implementation of libc written in Rust

garn is a build tool and environment manager that replaces justfiles/makefiles, docker, and the annoying parts of READMEs. The builders lingua franca.

dotfiles for my macOS tiling WM setup

A tiling window manager for macOS based on binary space partitioning

A precise specification for "Rust lite / MIR plus"

Exocompilation for productive programming of hardware accelerators

Flow Control: a programmer's text editor

Enumerate all values of a type at compile time

Neon: Serverless Postgres. We separated storage and compute to offer autoscaling, code-like database branching, and scale to zero.

A Git-compatible VCS that is both simple and powerful

Lightweight JIT Compilation Framework

The financial transactions database designed for mission critical safety and performance.

Basically the C programming language peppered with my preferences

Koka language compiler and interpreter

A template for PostgreSQL High Availability with Etcd, Consul, ZooKeeper, or Kubernetes

A no_std (embedded) circular buffer (Ouroboros) with constant-time operations

Checker for Lifetimes and other Refinement types