Edda Language
Edda is a programming language and toolchain designed for reliable software development with LLMs.
Popular repositories Loading
-
edda
edda PublicAn experimental programming language with built-in formal verification. Compiler, standard library and website written in Edda itself.
Python
-
edda-bootstrap
edda-bootstrap PublicRust bootstrap compiler for the Edda programming language.
Rust
Repositories
Showing 2 of 2 repositories
- edda Public
An experimental programming language with built-in formal verification. Compiler, standard library and website written in Edda itself.
Top languages
Loading…
Most used topics
Loading…