HN Explorer

caotic123

↗ HN profile [ 101 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. PyMagic a tiny DSL to write models/specs in Python (pypi.org)
    1 points 2
  2. A tiny Python library/DSL to construct Python formal models (github.com)
    1 points 1
  3. I am selling a lambda expression as an NFT (opensea.io)
    3 points 3
  4. Show HN: Dependently typed language for proofs that you can implement in one day (github.com)
    138 points 96