🪨 why use many token when few token do trick — Claude Code skill that cuts 65% of tokens by talking like caveman

In-game Timer for Minecraft Speedrun

Advent of FPGA on GreyMecha/Army Badge

Learn GPU Programming in Mojo🔥 by Solving Puzzles

EGraphs in OCaml

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

OxCaml Parallelism

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.

OCaml - Oxidized!

Better configuration for less

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

GBIF Python client

Access, review and index existing species interaction datasets

Global Biotic Interactions provides access to existing species interaction datasets

source files for GloBI website

Glucometer access utilities

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

Binary Analysis Platform

AeroSpace is an i3-like tiling window manager for macOS