noether-lang / noether
Noether programming language
☆126Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for noether
- Dependently-typed language with Iverson-style implicit lifting☆121Updated 4 years ago
- ☆59Updated 5 years ago
- Link to preprints for POPL'18 and colocated events☆87Updated 6 years ago
- A pure Haskell implementation of Datalog☆102Updated 4 years ago
- A purely functional programming language intended for practical programming.☆28Updated 14 years ago
- A less devious proof assistant☆222Updated last year
- Abstracting Definitional Interpreters☆67Updated 6 years ago
- higher order dependently typed logic programing☆170Updated 6 years ago
- A Haskell implementation of the Shen programming language.☆163Updated 6 years ago
- A programming language that runs in Haskell's type system.☆249Updated 8 years ago
- The LVish Haskell library☆81Updated 2 years ago
- Higher Order Prolog with Extensional Semantics☆50Updated 4 years ago
- A formalization of category theory in the Coq proof assistant.☆93Updated this week
- A minimalist type-inferred programming language with procedural macro support☆135Updated 4 years ago
- Automatically exported from code.google.com/p/ghilbert☆48Updated 7 years ago
- Mindless, verified (erasably) coding using dependent types☆104Updated 8 years ago
- Metacircular evaluator for a tiny fexpr language☆44Updated 12 years ago
- A small implementation of type inference☆78Updated 9 years ago
- Implementation of cryptographic primitives using Idris☆121Updated 6 years ago
- The Makam Metalanguage☆194Updated last year
- An in-memory datalog implementation for OCaml.☆261Updated 3 weeks ago
- Awelon project is a new UI model with a new language.