Top New Best Ask Show Jobs

caotic123

70 karma · joined August 11, 2021

submissions comments

PyMagic a tiny DSL to write models/specs in Python

pypi.org·1 pts·caotic123·

A tiny Python library/DSL to construct Python formal models

github.com·1 pts·caotic123·

I am selling a lambda expression as an NFT

opensea.io·3 pts·caotic123·

Show HN: Dependently typed language for proofs that you can implement in one day

github.com·138 pts·caotic123·