noether-lang / noetherLinks
Noether programming language
☆127Updated 8 years ago
Alternatives and similar repositories for noether
Users that are interested in noether are comparing it to the libraries listed below
Sorting:
- A less devious proof assistant☆224Updated 2 years ago
- A pure Haskell implementation of Datalog☆105Updated 4 years ago
- Higher Order Prolog with Extensional Semantics☆53Updated 4 years ago
- Dependently-typed language with Iverson-style implicit lifting☆122Updated 5 years ago
- Abstracting Definitional Interpreters☆68Updated 7 years ago
- A wiki and web-services based development environment for Awelon project☆92Updated 6 years ago
- Link to preprints for POPL'18 and colocated events☆87Updated 7 years ago
- ☆60Updated 6 years ago
- Distributed programming language that desugars to Morte☆92Updated 2 years ago
- Charity language interpreters and literature☆114Updated 6 years ago
- History of Programming Languages, Spring 2017☆136Updated 7 years ago
- Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐☆161Updated 6 years ago
- higher order dependently typed logic programing☆173Updated 6 years ago
- A nano "theorem prover".☆62Updated 6 years ago
- Drafts, notes and resources for adding linear typing to GHC.☆78Updated 5 years ago
- An Introduction to Redex with Abstracting Abstract Machines☆103Updated last year
- A purely functional programming language intended for practical programming.☆28Updated 15 years ago
- A hip inductive theorem prover!☆89Updated 3 years ago
- The Ermine Programming Language - Join us on irc.freenode.net #ermine☆220Updated 6 years ago
- APL Compiler targeting a typed array intermediate language☆214Updated 9 months ago
- Epic - a Supercombinator Compiler☆65Updated 10 years ago
- An in-memory datalog implementation for OCaml.☆270Updated 8 months ago
- PeaCoq is a pretty Coq, isn't it?☆105Updated 3 years ago
- A programming language that runs in Haskell's type system.☆253Updated 9 years ago
- The SAW core language.☆54Updated 4 years ago
- A Haskell implementation of the Shen programming language.☆169Updated 7 years ago
- The Art of the Propagator. See also:☆174Updated last year
- The Disco Discus Compiler☆174Updated 6 years ago
- Book: Introduction to Dependent Types with Idris☆78Updated 2 years ago
- LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming☆107Updated 2 years ago