index
NameDescriptionOwnerIdle
LC3100.gitcpu emulator for LC3100 in haskell tzlil24 months
aoc2022-day21.gitday21 with time travelling state tzlil18 months
aoc2022-day22.git tzlil2 years
aoc2023.githttps://adventofcode.com/2023 tzlil18 months
arXiv.gitarXiv randomizer tzlil3 months
base64.joy.gitbase64 in the joy programming language tzlil2 years
canal-view-z3.gitcanal view solver with z3 tzlil3 years
coms6998.gitlambda calculus interpreter tzlil3 years
elf.gitrust zerocopy elf parser tzlil3 years
ext2.gitzerocopy ext2 parser tzlil3 years
flake.gitmy machines tzlil18 months
fpga.gitfpga stuff in clash tzlil19 months
hs-logicbrain.gitsolving logicbrain challenges using haskells list monad tzlil2 years
hscompiler.githaskell compiler adventures tzlil2 years
hslc.gitlambda calculus in haskells type system tzlil2 years
interaction-networks.gitgraph rewrite rules in wolfram tzlil23 months
maze.gitmaze esolang interpreter in haskell tzlil14 months
py-calculator.gitcalculator in python + recursive descent tzlil23 months
recursion-schemes-lean4.gitFP with bananas, lenses, and barbed wire in lean4 tzlil19 months
skimap.gitgraph SK form reductions tzlil2 years
stacked.gitstack based language in idris2 tzlil24 months
tzlisp.gitlisp in haskell tzlil2 years
uiua.gitstuff written in uiua.org tzlil2 years
generated by cgit-pink 1.4.1 (git 2.36.1) at 2025-10-21 01:24:14 +0000