tzlil.net

Name	Description	Owner	Idle
LC3100.git	cpu emulator for LC3100 in haskell	tzlil	16 months
aoc2022-day21.git	day21 with time travelling state	tzlil	10 months
aoc2022-day22.git		tzlil	17 months
aoc2023.git	https://adventofcode.com/2023	tzlil	10 months
arXiv.git	arXiv randomizer	tzlil	17 months
base64.joy.git	base64 in the joy programming language	tzlil	17 months
canal-view-z3.git	canal view solver with z3	tzlil	2 years
coms6998.git	lambda calculus interpreter	tzlil	22 months
elf.git	rust zerocopy elf parser	tzlil	23 months
ext2.git	zerocopy ext2 parser	tzlil	2 years
flake.git	my machines	tzlil	10 months
fpga.git	fpga stuff in clash	tzlil	11 months
hs-logicbrain.git	solving logicbrain challenges using haskells list monad	tzlil	17 months
hscompiler.git	haskell compiler adventures	tzlil	19 months
hslc.git	lambda calculus in haskells type system	tzlil	17 months
interaction-networks.git	graph rewrite rules in wolfram	tzlil	15 months
maze.git	maze esolang interpreter in haskell	tzlil	6 months
py-calculator.git	calculator in python + recursive descent	tzlil	15 months
recursion-schemes-lean4.git	FP with bananas, lenses, and barbed wire in lean4	tzlil	11 months
skimap.git	graph SK form reductions	tzlil	22 months
stacked.git	stack based language in idris2	tzlil	16 months
tzlisp.git	lisp in haskell	tzlil	20 months
uiua.git	stuff written in uiua.org	tzlil	16 months