HN Explorer

harveywi

↗ HN profile [ 75.8 ms ] full profile
Karma
1,551
Created
June 1, 2013 (13y ago)
Submissions
0
  1. ZIO for Python: An Unofficial and Plucky Port of Scala ZIO (github.com)
    3 points 0
  2. Succinct/compact/compressed data structures for data-intensive Python programs (github.com)
    7 points 4
  3. EvenOdd in Agda, Idris, Haskell, Scala (brianmckenna.org)
    1 points 0
  4. The Gauss-Jordan-Floyd-Warshall-McNaughton-Yamada Algorithm (r6.ca)
    1 points 1
  5. Leon: An automated system for verifying Scala code, now with support for Isabelle (groups.google.com)
    9 points 0
  6. Java Code Generator for Idris (github.com)
    34 points 3