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