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