Noether programming language
☆130May 5, 2017Updated 8 years ago
Alternatives and similar repositories for noether
Users that are interested in noether are comparing it to the libraries listed below
Sorting:
- Programming language designed as an experiment to explore mutation and aliasing control☆35Apr 13, 2020Updated 5 years ago
- Runnable examples for Typed Clojure paper☆11Jul 2, 2015Updated 10 years ago
- The Slate programming language☆149Oct 15, 2023Updated 2 years ago
- Medic Package☆10Nov 8, 2015Updated 10 years ago
- Support for static values☆22Sep 3, 2024Updated last year
- Frank compiler☆305Apr 23, 2024Updated last year
- Lollimon, a monadic concurrent linear logic programming language☆28Oct 14, 2011Updated 14 years ago
- dirty toolkit☆20Nov 1, 2020Updated 5 years ago
- Notes on P-omega☆14Jul 11, 2017Updated 8 years ago
- An untyped lambda calculus interpreter☆12Nov 25, 2023Updated 2 years ago
- SML implementation of System T from PFPL.☆11Jun 28, 2017Updated 8 years ago
- Implementing the type system described in the paper "Complete and Easy Bidirectional Type Inference" in Rust☆46Jun 1, 2016Updated 9 years ago
- "Programs that explain their effects" talk material☆17Jun 22, 2018Updated 7 years ago
- "operating system" based on the calculus of constructions☆18Jun 22, 2022Updated 3 years ago
- A Haskell implementation of the Shen programming language.☆168Apr 5, 2018Updated 7 years ago
- Work on type class deriving with elaboration reflection☆32Sep 9, 2018Updated 7 years ago
- A language-integrated proof assistant, for and in Racket☆39Aug 26, 2016Updated 9 years ago
- Self-hosting compiler for the Grace programming language☆42Jun 5, 2024Updated last year
- ☆188Oct 31, 2019Updated 6 years ago
- ☆10Jan 24, 2016Updated 10 years ago
- Standard library for the Formality language☆18Mar 22, 2020Updated 5 years ago
- SML, The Living Language (aka, Successor ML)☆72Apr 4, 2016Updated 9 years ago
- A lazy non-deterministic concatenative programming language☆55Aug 3, 2013Updated 12 years ago
- The SCAM programming language☆15Jun 8, 2025Updated 8 months ago
- 1ML prototype interpreter☆293Jun 28, 2020Updated 5 years ago
- Emacs style editor written in Racket☆62Jul 13, 2019Updated 6 years ago
- ☆138Jun 2, 2022Updated 3 years ago
- The Alms Programming Language☆44Aug 29, 2018Updated 7 years ago
- The Spire Programming Language☆59Oct 23, 2014Updated 11 years ago
- A concise programming language that is fun to use☆16Dec 24, 2015Updated 10 years ago
- SML Checker for Intersection and Datasort Refinements (pronounced "cider")☆20Jul 4, 2013Updated 12 years ago
- Research on integrating datalog & lambda calculus via monotonicity types☆416Jun 21, 2022Updated 3 years ago
- The Pascal-F Verifier☆51Jul 17, 2017Updated 8 years ago
- Ruby Regular Expression Helper Gem☆17Oct 30, 2016Updated 9 years ago
- A type checker for the Lean theorem prover☆40Mar 6, 2021Updated 4 years ago
- Coq formalizations of functional languages.☆145Jul 2, 2020Updated 5 years ago
- Functional programming with fewer indirections☆780Aug 20, 2020Updated 5 years ago
- GPU Accelerated, Distributed, Actor Model Language (WIP)☆30Jun 21, 2023Updated 2 years ago
- The Boomerang Bidirectional Programming Language☆79Mar 15, 2023Updated 2 years ago