PinnedLoading

1. miniforthminiforthPublic

   A bootsector FORTH

   Forth 137 9

2. busycoqbusycoqPublic

   Busy Beaver deciders backed by Coq proof

   Coq 48 6

3. enumflags2enumflags2Public

   Rust library for typesystem-assisted bitflags.

   Rust 117 19

4. cursedfscursedfsPublic

   Make a disk image formatted with both ext2 and FAT at once

   Shell 382 12

5. fake-staticfake-staticPublic

   rustc hates him! Sidestep borrow checking with this weird trick.

   Rust 102 2

6. isabelle-math-contestsisabelle-math-contestsPublic

   Solutions to math olympiad problems in Isabelle/HOL

   11