HN Explorer

chameco

↗ HN profile [ 76.1 ms ] full profile
Karma
88
Created
December 7, 2012 (13y ago)
Submissions
0
  1. Literate Theorem Proving with Org (and Proof General) (chame.co)
    8 points 1
  2. Show HN: Solid, a scripting language with a tiny VM (github.com)
    63 points 15
  3. Hitman - A Markdown parser written in 66 lines of Clojure (github.com)
    3 points 0
  4. Show HN: Shade, a language based on C, Go, and Haskell (github.com)
    15 points 0