Beast code in Giters

Tony's repositories

filtered???

Language:Python1 10

Language:OCaml100

chip8 emulator

Language:OCaml100

attempt at implementing a git compatible git

Language:Rust1 10

Mangos are a quick alternative source for getting your weekly dosage of Chinese cartoons. The bittersweet flavors are irresistible to amphibians.

Language:Python1 10

my new bad sat solver

Language:OCaml1 10

started working on an abstract interpreter during SSFT23 with my friend @artjomplaunov

Language:OCaml000

cbmc verification of bit-twiddling hacks

Language:C000

Language:Python010

Language:OCaml000

Language:Python010

Language:Python010

Language:Haskell010