(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

⅋ — session types for Rust

Simplistic command runner and build system

Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3

A Modern C11 compiler (STILL EARLY)

A Zig package for translating C code into Zig code.

Branchless (at source) encoding of UTF-8.

Structured Text Generation

A robust message queue system for Rust applications, designed as a Rust alternative to Celery.