mozart / mozart2Links
Mozart Programming System v2
☆586Updated 4 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☆358Updated 7 years ago
- Typed Racket☆542Updated this week
- Shen language kernel sources for porters☆376Updated 10 months ago
- Poly/ML☆504Updated 2 weeks ago
- The Pie language, which accompanies The Little Typer by Friedman and Christiansen☆716Updated 3 years ago
- DrRacket, IDE for Racket☆469Updated this week
- Making the world safe for objects☆737Updated 5 months ago
- The implementation of microKanren, a featherweight relational programming language☆310Updated 11 years ago
- The MLton repository☆1,015Updated this week
- The Mercury logic programming system.☆950Updated this week
- SWI-Prolog stable releases☆226Updated 6 months ago
- Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.☆349Updated last year
- Resources for the “Beautiful Racket” book [moved to https://gitlab.com/mbutterick/beautiful-racket]☆290Updated 4 years ago
- The Ur/Web programming language☆816Updated last year
- Logtalk - declarative object-oriented logic programming language☆451Updated 2 weeks ago
- The new nanopass framework; an embedded DSL for writing compilers in Scheme☆506Updated 2 years ago
- The new nanopass framework; an embedded DSL for writing compilers in Scheme☆323Updated 4 years ago
- Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.☆163Updated 8 years ago
- A small nanopass compiler from a subset of Scheme to C. (Developed for Clojure Conj 2013)