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