Maja Kądziołka meithecatte

Sponsors

Pinned Loading

1. A bootsector FORTH

   Forth 154 9

2. Busy Beaver deciders backed by Coq proof

   Coq 61 10

3. Rust library for typesystem-assisted bitflags.

   Rust 140 24

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

   Shell 384 11

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

   Rust 105 2

6. Solutions to math olympiad problems in Isabelle/HOL

   11