racket / typed-racketLinks
Typed Racket
☆548Updated 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:
- DrRacket, IDE for Racket☆474Updated this week
- Shen language kernel sources for porters☆379Updated last year
- The Pie language, which accompanies The Little Typer by Friedman and Christiansen☆729Updated 4 years ago
- The new nanopass framework; an embedded DSL for writing compilers in Scheme☆510Updated 2 years ago
- Rhombus programming language☆473Updated this week
- Racket to JavaScript Compiler☆720Updated last year
- Poly/ML☆502Updated this week
- Canonical miniKanren implementation☆359Updated 7 years ago
- The MLton repository☆1,018Updated last month
- WIP implementation of a Haskell-like Lisp in Racket☆1,182Updated last year
- A full implementation of the Scheme programming language for the Haskell Platform.☆315Updated last year
- The best coding experience for Racket in VS Code☆211Updated 2 weeks ago
- A small nanopass compiler from a subset of Scheme to C. (Developed for Clojure Conj 2013)☆363Updated 4 years ago
- The implementation of microKanren, a featherweight relational programming language☆311Updated 11 years ago
- Larceny Scheme implementation☆209Updated 7 years ago
- A practical guide to Racket macros☆254Updated 5 years ago
- ☆228Updated this week
- ☆433Updated last year
- Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.☆164Updated 8 years ago
- Gambit is an efficient implementation of the Scheme programming language.☆1,381Updated this week
- Mozart Programming System v2☆591Updated 6 months ago
- A brand-new compiler that allows practical application development using R7RS Scheme. We provide modern features and a stable system cap…☆853Updated 5 months ago
- Gerbil Scheme☆1,205Updated this week
- Benchmarks for various Scheme implementations. Taken with kind permission from the Larceny project, based on the Gabriel and Gambit bench…☆282Updated last year
- ☆106Updated this week
- A curated list of awesome Racket frameworks, libraries and software, maintained by Community☆485Updated 2 years ago
- ☆170Updated 7 years ago
- Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.☆352Updated last year
- Resources for the “Beautiful Racket” book [moved to https://gitlab.com/mbutterick/beautiful-racket]☆290Updated 4 years ago
- Scheme interpreter written in JavaScript☆765Updated 3 weeks ago