Popular repositories Loading

2. A formally verified compiler of untyped lambda calculus to brainfuck

   Coq 16 2

3. N-dimensional Tic Tac Toe implemented in Python and curses

   Python 6 2

4. An experiment to exhaustively find optimization opportunities created by WebAssembly's multi-value proposal

   Rust 5 3

6. tlively's opinionated git workflow wrapper

   Python 2 2