Sounio Language

Popular repositories Loading

1. sounio sounio Public

   Self-hosted systems + scientific programming language with epistemic types, uncertainty propagation, algebraic effects, and formalized non-associative algebra.

   Lean 6 3

2. sounio-examples sounio-examples Public

   Curated examples for the Sounio programming language

3. sounio-benchmarks sounio-benchmarks Public

   LLM code generation benchmarks for Sounio (55 problems)

   Shell

4. sounio-llm-training sounio-llm-training Public

   Train any LLM to write Sounio — instruction data, fine-tune scripts, syntax guides

   Python

5. sounio-grammar sounio-grammar Public

   TextMate grammar for Sounio (.sio) syntax highlighting

6. sounio-py sounio-py Public

   Python interface for the Sounio epistemic programming language

   Python