Skip to content

Top New Best Ask Show Jobs

chameco

88 karmaJoined December 6, 201225 submissions

chameco | Better HN

Recent submissions

1

Literate Theorem Proving with Org (and Proof General) (opens in new tab)

(chame.co)

8chameco7y ago1

2

Show HN: Solid, a scripting language with a tiny VM (opens in new tab)

(github.com)

63chameco12y ago15

3

Hitman - A Markdown parser written in 66 lines of Clojure (opens in new tab)

(github.com)

3chameco12y ago0

4

Show HN: Shade, a language based on C, Go, and Haskell (opens in new tab)

(github.com)

15chameco13y ago0