]> git.xn--bdkaa.com Git
projects /
List all projects
Project Description Last Change
xn--bdkaa.com.git Site that runs ツツツ.com 3 days ago summary | shortlog | log | tree
lc3vm.zig.git Little Computer 3 virtual machine in Zig 3 days ago summary | shortlog | log | tree
punycode.zig.git Punycode library in Zig 2 weeks ago summary | shortlog | log | tree
temple.lean4.git Simple template library in Lean4. 2 months ago summary | shortlog | log | tree
hub.go.git A small websocket server in Go to track the TON's blockchain contracts. 12 months ago summary | shortlog | log | tree
machines.rs.git Abstract & Virtual machines in Rust 13 months ago summary | shortlog | log | tree
gcs.git Garbage collection algorithms 13 months ago summary | shortlog | log | tree
machines.hs.git Abstract & Virtual machines in Haskell 13 months ago summary | shortlog | log | tree
line-indexed-cursor.hs.git Line-indexed file reader. 2 years ago summary | shortlog | log | tree
debug-trace-file.hs.git Like Debug.Trace but writing to files. 2 years ago summary | shortlog | log | tree
handle-examples.hs.git Examples of the Handle pattern in Haskell 2 years ago summary | shortlog | log | tree
cubicaltt-web.git My fork of cubicaltt with web interface using Reflex. 2 years ago summary | shortlog | log | tree
where-are-you.py.git A city geo-guesser game for web written in Python 3 years ago summary | shortlog | log | tree
bachelor-thesis.git My bachelor thesis at Innopolis University 6 years ago summary | shortlog | log | tree
jolie.agda.git An attempt to formalize Jolie's type system in Agda 8 years ago summary | shortlog | log | tree