mozart / mozart2
Mozart Programming System v2
☆564Updated last year
Related projects: ⓘ
- Typed Racket☆521Updated 2 weeks ago
- Canonical miniKanren implementation☆349Updated 6 years ago
- The Pie language, which accompanies The Little Typer by Friedman and Christiansen☆694Updated 3 years ago
- The Mercury logic programming system.☆900Updated this week
- The MLton repository☆948Updated last month
- Poly/ML☆483Updated last month
- ☆417Updated 7 months ago
- Making the world safe for objects☆700Updated 2 weeks ago
- The implementation of microKanren, a featherweight relational programming language☆305Updated 10 years ago
- Shen language kernel sources for porters☆352Updated last month
- SWI-Prolog stable releases☆215Updated this week
- DrRacket, IDE for Racket☆448Updated this week
- CakeML: A Verified Implementation of ML☆944Updated this week
- J engine source mirror☆658Updated this week
- A functional programming language based on algebraic effect handlers☆858Updated last week
- Scheme interpreter written in JavaScript☆740Updated 2 weeks ago
- The new nanopass framework; an embedded DSL for writing compilers in Scheme☆485Updated 2 years ago
- A small nanopass compiler from a subset of Scheme to C. (Developed for Clojure Conj 2013)☆349Updated 3 years ago
- an incremental approach to compiler construction☆912Updated 4 years ago
- An axiom-free formalization of category theory in Coq for personal study and practical work☆746Updated this week
- WIP implementation of a Haskell-like Lisp in Racket☆1,164Updated 5 months ago
- Logtalk - declarative object-oriented logic programming language☆414Updated this week
- A brand-new compiler that allows practical application development using R7RS Scheme. We provide modern features and a stable system cap…☆823Updated 3 months ago
- Write You a Scheme☆552Updated last year
- High-performance, Reliable, and Parallel APL☆701Updated last week
- The new nanopass framework; an embedded DSL for writing compilers in Scheme☆321Updated 3 years ago
- Universal toplevel for OCaml☆839Updated 4 months ago
- Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.☆339Updated 7 months ago
- The Pyret language.☆1,065Updated this week
- Implementations of various type systems in OCaml.☆1,531Updated 9 years ago