Minimal library for distributed python work. Can efficiently run CPU and GPU tasks across 100s of machines.

simple web service in lean4

mini cli search engine for your docs, knowledge bases, meeting notes, whatever. Tracking current sota approaches while being all local

MixOS, a Minimal Nix OS

Nix build hook that forwards remote builds to job schedulers.

Learn GPU Programming in Mojo🔥 by Solving Puzzles

Fil-C: completely compatible memory safety for C and C++

A library for building dynamic terminal apps, using bonsai

Rust async runtime based on io-uring.

Direct h3 → Axum. No middleman. Just an adapter.

The best ChatGPT that $100 can buy.

Full-throttle, wire-speed hardware implementation of Wireguard VPN, using low-cost Artix7 FPGA with opensource toolchain. If you seek security and privacy, nothing is private in our codebase. Our d…

Betrusted main SoC design

A minimal implementation of DeepMind's Genie world model

A metrics ecosystem for Rust.

A kademlia DHT with a 32 byte keyspace, using iroh connections

Esqueleto exercises

Have a lan party with iroh (iroh-lan = hamachi - account - install)

The open source coding agent.

Prompt Optimization

Nix & NATS

Versionize is a framework for version tolerant serializion/deserialization of Rust data structures, designed for usecases that need fast deserialization times and minimal size overhead.

OCaml - Oxidized!

Nix binary cache implemented in rust (maintainer: @Mic92)

rl from zero pretrain, can it be done? yes.

Type-safe, type-level and stateless Rust graphics framework

A Rust crate that provides hard-to-misuse rigid body transforms (aka "spatial math") for engineers with other things to worry about than linear algebra.

C Bounded Model Checker