Self-hosted systems + scientific programming language with epistemic types, uncertainty propagation, algebraic effects, and formalized non-associative algebra.
Lean Updated 2 months ago 1 commits 6 stars
omega-coder|Mirror: Sounio-lang/sounio (⭐6)
2 months agoAbout
Self-hosted systems + scientific programming language with epistemic types, uncertainty propagation, algebraic effects, and formalized non-associative algebra.
Readme
6 stars
3 forks