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