LC3100.gitcpu emulator for LC3100 in haskell tzlil8 months
aoc2022-day21.gitday21 with time travelling state tzlil9 weeks
aoc2022-day22.git tzlil9 months
aoc2023.git tzlil2 months
arXiv.gitarXiv randomizer tzlil10 months in the joy programming language tzlil9 months
canal-view-z3.gitcanal view solver with z3 tzlil16 months
coms6998.gitlambda calculus interpreter tzlil14 months
elf.gitrust zerocopy elf parser tzlil15 months
ext2.gitzerocopy ext2 parser tzlil16 months
flake.gitmy machines tzlil2 months
fpga.gitfpga stuff in clash tzlil3 months
hs-logicbrain.gitsolving logicbrain challenges using haskells list monad tzlil9 months
hscompiler.githaskell compiler adventures tzlil11 months
hslc.gitlambda calculus in haskells type system tzlil9 months
interaction-networks.gitgraph rewrite rules in wolfram tzlil7 months
py-calculator.gitcalculator in python + recursive descent tzlil7 months
recursion-schemes-lean4.gitFP with bananas, lenses, and barbed wire in lean4 tzlil3 months
skimap.gitgraph SK form reductions tzlil14 months
stacked.gitstack based language in idris2 tzlil8 months
tzlisp.gitlisp in haskell tzlil13 months
uiua.gitstuff written in tzlil8 months