tzlil.net

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