Popular repositories Loading

1. sdl_seminar sdl_seminar Public

   C 95 21

2. BrainCoqulus BrainCoqulus Public

   A formally verified compiler of untyped lambda calculus to brainfuck

   Coq 16 2

3. N-TicTacToe N-TicTacToe Public

   N-dimensional Tic Tac Toe implemented in Python and curses

   Python 6 2

4. wasm-multivalue-opt wasm-multivalue-opt Public

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

   Rust 5 3

5. cs224-final cs224-final Public

   C 4 2

6. PixelPilot PixelPilot Public

   A small Asteroids-esque game created with standard Java libraries for educational purposes

   Java 1 1