chameco
- Karma
- 88
- Created
- 13 years ago
Recent Submissions
- 1. ▲ Literate Theorem Proving with Org (and Proof General) (chame.co)
- 2. ▲ Show HN: Solid, a scripting language with a tiny VM (github.com)
- 3. ▲ Hitman - A Markdown parser written in 66 lines of Clojure (github.com)
- 4. ▲ Show HN: Shade, a language based on C, Go, and Haskell (github.com)