HN Explorer

alexamici

↗ HN profile [ 17.4 ms ] full profile
Karma
1
Created
March 5, 2016 (10y ago)
Submissions
0
  1. Show HN: Elevation, manage SRTM 30m the global high-res digital elevation model (github.com)
    3 points 0
  2. Show HN: Test-driven source code search for Python (github.com)
    4 points 2
  3. Formal verification of legacy code after 10 years of production use (blog.adacore.com)
    2 points 0