Lists (4)
Sort Name ascending (A-Z)
Stars
Invertible multi-precision pseudo random number generator example
Fusil is a multi-agent Python library used to write fuzzing programs
(pronounced "except") The exceptional golfing language.
Windows' "Active Windows" watermark for Linux
Agda is a dependently typed programming language / interactive theorem prover.
A command-line tool for generating pretty images using flood fills and related algorithms
A fully compliant RISC-V computer made inside the game Terraria
Lambda calculus? In my type system? It's more likely than you think.
Library designed to make nullable & non-required fields easier to work with using the serde library
A full reimplementation of RIC's macro-based programming language.
Probabilistic language based on pattern matching and constraint propagation, 153 examples
Simulate the C. Elegans worm brain in your browser and interact with the worm as it moves around.
Discord bot command framework for serenity, with advanced features like edit tracking and flexible argument parsing