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