1Literate Theorem Proving with Org (and Proof General) (opens in new tab)(chame.co)8chameco8y ago1Save
2Show HN: Solid, a scripting language with a tiny VM (opens in new tab)(github.com)GitHub63chameco12y ago15Save
3Hitman - A Markdown parser written in 66 lines of Clojure (opens in new tab)(github.com)GitHub3chameco12y ago0Save
4Show HN: Shade, a language based on C, Go, and Haskell (opens in new tab)(github.com)GitHub15chameco13y ago0Save
