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