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.

Serverless Posttraining

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

Kani Rust Verifier

A library to compile USDT probes into a Rust library

Dust your Rust with USDT probes

Reasoning Systems with tool use are strong zero-shot object detectors