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