racket / typed-racketLinks
Typed Racket
☆541Updated this week
Alternatives and similar repositories for typed-racket
Users that are interested in typed-racket are comparing it to the libraries listed below
Sorting:
- The Pie language, which accompanies The Little Typer by Friedman and Christiansen☆715Updated 3 years ago
- DrRacket, IDE for Racket☆463Updated last week
- WIP implementation of a Haskell-like Lisp in Racket☆1,173Updated last year
- Shen language kernel sources for porters☆375Updated 9 months ago
- Canonical miniKanren implementation☆355Updated 7 years ago
- The new nanopass framework; an embedded DSL for writing compilers in Scheme☆504Updated 2 years ago
- Racket to JavaScript Compiler☆716Updated last year
- A full implementation of the Scheme programming language for the Haskell Platform.☆310Updated last year
- Rhombus programming language☆456Updated this week
- Poly/ML☆503Updated last week
- ☆432Updated last year
- A small nanopass compiler from a subset of Scheme to C. (Developed for Clojure Conj 2013)☆362Updated 4 years ago
- The MLton repository☆1,011Updated 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
- A practical guide to Racket macros☆252Updated 5 years ago
- The Reckless Racket Shell☆558Updated last year
- A curated list of awesome Racket frameworks, libraries and software, maintained by Community☆480Updated last year
- Write You a Scheme☆566Updated 2 years ago
- The implementation of microKanren, a featherweight relational programming language☆310Updated 10 years ago
- ☆220Updated this week
- Larceny Scheme implementation☆207Updated 7 years ago
- Gerbil Scheme☆1,193Updated 2 weeks ago
- Urlang is JavaScript with a sane syntax☆301Updated 4 months ago
- Benchmarks for various Scheme implementations. Taken with kind permission from the Larceny project, based on the Gabriel and Gambit bench…☆280Updated 10 months ago
- The new nanopass framework; an embedded DSL for writing compilers in Scheme☆322Updated 4 years ago
- Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.☆163Updated 8 years ago
- A rudimentary Racket implementation using RPython☆261Updated this week
- Gambit is an efficient implementation of the Scheme programming language.☆1,370Updated last week
- ☆170Updated 7 years ago
- Frog is a static blog generator implemented in Racket, targeting Bootstrap and able to use Pygments.☆925Updated last year