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