noether-lang / noetherLinks
Noether programming language
☆129Updated 8 years ago
Alternatives and similar repositories for noether
Users that are interested in noether are comparing it to the libraries listed below
Sorting:
- Dependently-typed language with Iverson-style implicit lifting☆126Updated 5 years ago
- Epic - a Supercombinator Compiler☆64Updated 10 years ago
- An in-memory datalog implementation for OCaml.☆276Updated last year
- An Introduction to Redex with Abstracting Abstract Machines☆104Updated last year
- A wiki and web-services based development environment for Awelon project☆91Updated 6 years ago
- A small implementation of type inference☆80Updated 10 years ago
- Charity language interpreters and literature☆114Updated 6 years ago
- ☆137Updated 3 years ago
- A less devious proof assistant☆226Updated 2 years ago
- A modern tool for literate programming☆277Updated 8 years ago
- Link to preprints for POPL'18 and colocated events☆86Updated 7 years ago
- A formalization of category theory in the Coq proof assistant.☆100Updated last year
- LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming☆108Updated 2 years ago
- TiML: A Functional Programming Language with Time Complexity☆80Updated 8 years ago
- ☆62Updated 6 years ago
- A schemy Lisp backed by Haskell☆60Updated 7 years ago
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆29Updated 7 years ago
- Automatically exported from code.google.com/p/ghilbert☆47Updated 8 years ago
- Mindless, verified (erasably) coding using dependent types☆105Updated 9 years ago
- A minimalist type-inferred programming language with procedural macro support☆136Updated 5 years ago
- Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler☆97Updated 10 years ago
- Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Id…☆182Updated 7 years ago
- A pure Haskell implementation of Datalog☆105Updated 5 years ago
- The Makam Metalanguage☆197Updated 2 years ago
- Beautiful, interactive visualizations of logical inference☆150Updated 4 years ago
- The SAW core language.☆55Updated 4 years ago
- PeaCoq is a pretty Coq, isn't it?☆105Updated 4 years ago
- A Haskell implementation of the Shen programming language.☆170Updated 7 years ago
- ATS2: Unleashing the Potentials of Types and Templates☆45Updated 5 years ago
- The Ntha Programming Language☆91Updated 9 years ago