Stars
Advent of FPGA on GreyMecha/Army Badge
Learn GPU Programming in Mojo🔥 by Solving Puzzles
HASTE: Broken Worlds mod adds skip buttons to some more transitions/animations, and a dedicated skip button
A SQL query equivalence prover in Rust aiming for high performance and wide SQL feature coverage.
A Library for Representing Recursive and Impure Programs in Coq
FANDANGO is a language-based fuzzer that leverages formal input specifications (grammars) combined with constraints to generate diverse sets of valid inputs for programs under test.
Smallest possible syntactically valid files of different types
Training materials on Jane Street's OCaml fork
wrapper and network driver for bythos (a.k.a leansts) (a.k.a veil)
A "implementation" of Girard's paradox in OCaml
Access, review and index existing species interaction datasets
Global Biotic Interactions provides access to existing species interaction datasets
source files for GloBI website
Seamless bug-finding for C, C++, Go, Rust, Wasm and Zig
An app to monitor and view app usage statistics for your desktop.
Associated code for my blog post on Type-driven was Data-driven Programming
MirageOS is a library operating system that constructs unikernels
AeroSpace is an i3-like tiling window manager for macOS