chameco | Dark Hacker News

1.	Literate Theorem Proving with Org (and Proof General)(chame.co) 8 points by chameco 8 years ago \| 1 comment
2.	Show HN: Solid, a scripting language with a tiny VM(github.com) 63 points by chameco 12 years ago \| 15 comments
3.	Hitman - A Markdown parser written in 66 lines of Clojure(github.com) 3 points by chameco 12 years ago \| 0 comments
4.	Show HN: Shade, a language based on C, Go, and Haskell(github.com) 15 points by chameco 13 years ago \| 0 comments