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