mozart / mozart2Links
Mozart Programming System v2
☆583Updated 3 months ago
Alternatives and similar repositories for mozart2
Users that are interested in mozart2 are comparing it to the libraries listed below
Sorting:
- Typed Racket☆541Updated this week
- Canonical miniKanren implementation☆355Updated 7 years ago
- Poly/ML☆503Updated last week
- The MLton repository☆1,011Updated last week
- The Pie language, which accompanies The Little Typer by Friedman and Christiansen☆715Updated 3 years ago
- ☆432Updated last year
- The new nanopass framework; an embedded DSL for writing compilers in Scheme☆505Updated 2 years ago
- The implementation of microKanren, a featherweight relational programming language☆310Updated 10 years ago
- The Mercury logic programming system.☆948Updated this week
- CakeML: A Verified Implementation of ML☆1,047Updated this week
- Shen language kernel sources for porters☆376Updated 9 months ago
- Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.☆343Updated last year
- J engine source mirror☆693Updated this week
- WIP implementation of a Haskell-like Lisp in Racket☆1,175Updated last year
- A functional programming language based on algebraic effect handlers☆872Updated 8 months ago
- Scheme interpreter written in JavaScript☆754Updated 2 months ago
- The Ur/Web programming language☆814Updated last year
- An axiom-free formalization of category theory in Coq for personal study and practical work☆774Updated last week
- Write You a Scheme☆566Updated 2 years ago
- Gambit is an efficient implementation of the Scheme programming language.☆1,372Updated last week
- The new nanopass framework; an embedded DSL for writing compilers in Scheme☆322Updated 4 years ago
- ATS2: Unleashing the Potentials of Types and Templates☆363Updated 5 months ago
- Resources for the “Beautiful Racket” book [moved to https://gitlab.com/mbutterick/beautiful-racket]☆290Updated 4 years ago
- Making the world safe for objects☆736Updated 5 months ago
- A full implementation of the Scheme programming language for the Haskell Platform.☆310Updated last year
- Logtalk - declarative object-oriented logic programming language☆451Updated this week
- A brand-new compiler that allows practical application development using R7RS Scheme. We provide modern features and a stable system cap…☆847Updated 3 months ago
- ☆220Updated last week
- Racket to JavaScript Compiler☆718Updated last year
- A small nanopass compiler from a subset of Scheme to C. (Developed for Clojure Conj 2013)☆362Updated 4 years ago