space-miner

niceNew York

Pinned Repositories

absint
started working on an abstract interpreter during SSFT23 with my friend @artjomplaunov
Language:OCaml00
AoC
filtered???
Language:Python1 1 00
bit-twiddling
cbmc verification of bit-twiddling hacks
Language:C00
Cegarmc
Language:OCaml00
chip8
a poor man's chip8 emulator
Language:OCaml10
git
attempt at implementing a git compatible git
Language:Rust1 1 00
mango
Mangos are a quick alternative source for getting your weekly dosage of Chinese cartoons. The bittersweet flavors are irresistible to amphibians.
Language:Python1 1 00
sat
my new bad sat solver
Language:OCaml1 1 00
space-miner
10

space-miner's Repositories

space-miner/AoC
filtered???
Language:Python1 1 00
space-miner/chip8
a poor man's chip8 emulator
Language:OCaml10
space-miner/git
attempt at implementing a git compatible git
Language:Rust1 1 00
space-miner/mango
Mangos are a quick alternative source for getting your weekly dosage of Chinese cartoons. The bittersweet flavors are irresistible to amphibians.
Language:Python1 1 00
space-miner/sat
my new bad sat solver
Language:OCaml1 1 00
space-miner/space-miner
10
space-miner/absint
started working on an abstract interpreter during SSFT23 with my friend @artjomplaunov
Language:OCaml00
space-miner/bit-twiddling
cbmc verification of bit-twiddling hacks
Language:C00
space-miner/bril-py
Language:Python0 1 00
space-miner/Cegarmc
Language:OCaml00
space-miner/dpll
Language:Python0 1 00
space-miner/lox-py
Language:Python0 1 00
space-miner/scheme
Language:Haskell0 1 00