Project | Description | Last Change | |
---|---|---|---|
cubicaltt.git | My fork of cubicaltt with web interface using Reflex. | 18 months ago | summary | shortlog | log | tree |
debug-trace-file.git | Like Debug.Trace but writing to files. | 10 months ago | summary | shortlog | log | tree |
handle-examples.git | Examples of the Handle pattern in Haskell | 13 months ago | summary | shortlog | log | tree |
line-indexed-cursor.git | Line-indexed file reader. | 9 months ago | summary | shortlog | log | tree |
temple.lean.git | Simple template library in Lean4. | 7 weeks ago | summary | shortlog | log | tree |