racket / typed-racket
Typed Racket
☆521Updated 2 weeks ago
Related projects: ⓘ
- The Pie language, which accompanies The Little Typer by Friedman and Christiansen☆694Updated 3 years ago
- DrRacket, IDE for Racket☆448Updated this week
- Rhombus programming language☆332Updated this week
- WIP implementation of a Haskell-like Lisp in Racket☆1,164Updated 5 months ago
- Shen language kernel sources for porters☆352Updated last month
- Canonical miniKanren implementation☆349Updated 6 years ago
- The new nanopass framework; an embedded DSL for writing compilers in Scheme☆484Updated 2 years ago
- Racket to JavaScript Compiler☆713Updated last year
- Poly/ML☆483Updated last month
- ☆417Updated 7 months ago
- The MLton repository☆945Updated last month
- The implementation of microKanren, a featherweight relational programming language☆305Updated 10 years ago
- A small nanopass compiler from a subset of Scheme to C. (Developed for Clojure Conj 2013)☆349Updated 3 years ago
- Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.☆1,121Updated this week
- Gerbil Scheme☆1,147Updated last week
- A curated list of awesome Racket frameworks, libraries and software, maintained by Community☆455Updated last year
- A full implementation of the Scheme programming language for the Haskell Platform.☆308Updated 10 months ago
- 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
- The Reckless Racket Shell☆546Updated 7 months ago
- Resources for the “Beautiful Racket” book [moved to https://git.matthewbutterick.com/mbutterick/beautiful-racket]☆283Updated 3 years ago
- Larceny Scheme implementation☆202Updated 7 years ago
- Write You a Scheme☆552Updated last year
- A practical guide to Racket macros☆250Updated 4 years ago
- Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.☆159Updated 7 years ago
- Gambit is an efficient implementation of the Scheme programming language.☆1,309Updated this week
- A prototype successor to Idris☆539Updated 5 years ago
- Benchmarks for various Scheme implementations. Taken with kind permission from the Larceny project, based on the Gabriel and Gambit bench…☆271Updated last month
- ☆197Updated 2 weeks ago
- ☆91Updated this week
- The new nanopass framework; an embedded DSL for writing compilers in Scheme☆321Updated 3 years ago