HN
Hacker News
Top
New
Best
Ask
Show
Jobs
chameco
88 karma · joined December 6, 2012
submissions
comments
Literate Theorem Proving with Org (and Proof General)
chame.co
·
8 pts
·
chameco
·
1
Show HN: Solid, a scripting language with a tiny VM
github.com
·
63 pts
·
chameco
·
15
Hitman - A Markdown parser written in 66 lines of Clojure
github.com
·
3 pts
·
chameco
·
0
Show HN: Shade, a language based on C, Go, and Haskell
github.com
·
15 pts
·
chameco
·
0