List all projects
Project Description Last Change
cubicaltt.git My fork of cubicaltt with web interface using Reflex. 2 years ago
debug-trace-file.git Like Debug.Trace but writing to files. 16 months ago
gcs.git Garbage collection algorithms 2 months ago
handle-examples.git Examples of the Handle pattern in Haskell 19 months ago
hub.go.git A small websocket server in Go to track the TON's blockchain contracts. 6 weeks ago
line-indexed-cursor.git Line-indexed file reader. 16 months ago
machines.hs.git Abstract & Virtual machines in Haskell 2 months ago
machines.rs.git Abstract & Virtual machines in Rust 8 weeks ago
temple.lean.git Simple template library in Lean4. 7 months ago