Popular repositories Loading

1. snupl2-tests snupl2-tests Public

   Programs to test SnuPL/2 compiler

   Modula-2

2. fruit-box fruit-box Public

   Inspired by Fruit Box, a free online puzzle game

   TypeScript

3. pumping-lemma-coq pumping-lemma-coq Public

   Pumping Lemma for Regular Languages in Coq

   Coq

4. proc-macro-workshop proc-macro-workshop Public

   Studying Rust proc macros

   Rust

5. anthropics-takehome anthropics-takehome Public

   Anthropic's original performance take-home, now open for you to try!

   Python

6. nmrs nmrs Public

   Forked from cachebag/nmrs

   Rust bindings for NetworkManager over D-Bus.

   Rust