mozart / mozart2Links
Mozart Programming System v2
☆590Updated 5 months ago
Alternatives and similar repositories for mozart2
Users that are interested in mozart2 are comparing it to the libraries listed below
Sorting:
- Canonical miniKanren implementation☆359Updated 7 years ago
- Typed Racket☆545Updated last week
- Shen language kernel sources for porters☆378Updated 11 months ago
- The Mercury logic programming system.☆958Updated this week
- The Pie language, which accompanies The Little Typer by Friedman and Christiansen☆725Updated 4 years ago
- Poly/ML☆507Updated last month
- ☆227Updated 3 weeks ago
- Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.☆350Updated last year
- Making the world safe for objects☆742Updated 7 months ago
- The implementation of microKanren, a featherweight relational programming language☆311Updated 11 years ago
- DrRacket, IDE for Racket☆473Updated last week
- The MLton repository☆1,018Updated last month
- ☆433Updated last year
- The new nanopass framework; an embedded DSL for writing compilers in Scheme☆509Updated 2 years ago
- A small nanopass compiler from a subset of Scheme to C. (Developed for Clojure Conj 2013)☆363Updated 4 years ago
- A functional programming language based on algebraic effect handlers☆883Updated last month
- The Pyret language.☆1,097Updated this week
- SWI-Prolog stable releases☆225Updated 7 months ago
- A rudimentary Racket implementation using RPython☆265Updated 2 weeks ago
- J engine source mirror☆700Updated this week
- Resources for the “Beautiful Racket” book [moved to https://gitlab.com/mbutterick/beautiful-racket]☆291Updated 4 years ago
- Standard ML Compiler and Toolkit☆293Updated 6 months ago
- The new nanopass framework; an embedded DSL for writing compilers in Scheme☆325Updated 4 years ago
- Racket to JavaScript Compiler☆720Updated last year
- A brand-new compiler that allows practical application development using R7RS Scheme. We provide modern features and a stable system cap…☆854Updated 5 months ago
- stalin brutally optimizing Scheme compiler, with Debianization patches☆394Updated 4 years ago
- Larceny Scheme implementation☆209Updated 7 years ago
- The Ur/Web programming language☆824Updated last year
- Scheme interpreter written in JavaScript☆764Updated last week
- Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.☆164Updated 8 years ago