Tikhon Jelvis
Results
10
repositories owned by
Tikhon Jelvis
array-forth
26
Stars
1
Forks
Watchers
A simple interpreter and superoptimizer for the F18A instruction set used by GreenArrays chips.
imp
16
Stars
1
Forks
Watchers
Some scripts for analyzing IMP programs with the Z3 automatic theorem prover, originally written for my Compose 2016 talk.
inductive-mazes
37
Stars
9
Forks
Watchers
Code for my blog post "Generating Mazes with Inductive Graphs"
modular-arithmetic
30
Stars
8
Forks
Watchers
A useful type for working with integers modulo some constant.