nuprl / websiteLinks
Source for PRL website
☆18Updated 7 months ago
Alternatives and similar repositories for website
Users that are interested in website are comparing it to the libraries listed below
Sorting:
- F*dging up a Racket: how to write Brainf*ck as a Racket language☆27Updated 5 years ago
- Demonstration of implementing a language in Racket☆58Updated 11 years ago
- Canonical miniKanren implementation in Racket☆86Updated 3 years ago
- Exercism exercises in Racket.☆42Updated last week
- ☆19Updated last month
- ☆38Updated last month
- ☆37Updated last month
- Racket DSL for generating parsers from BNF grammars [moved to https://git.matthewbutterick.com/mbutterick/brag]☆61Updated 3 years ago
- ☆103Updated last month
- ☆70Updated 3 weeks ago
- Web site for standardml.org.☆36Updated last year
- ☆94Updated last month
- Magnolisp, a toy programming language☆17Updated last year
- A port of sweet expressions to Racket☆48Updated 2 years ago
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆29Updated 7 years ago
- nanopass compiler framework for Racket☆190Updated last year
- ☆67Updated last week
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆158Updated 5 months ago
- A basic Parsec-like monadic parser combinator library implementation in Racket.☆49Updated 2 years ago
- ☆86Updated 4 years ago
- A minimalist web framework for the Racket web-server☆27Updated 2 years ago
- HoLy is simple http library for Racket language☆12Updated 7 years ago
- An environment variable manager for Racket applications☆17Updated 2 years ago
- MLWorks is a Standard ML compiler and development environment.☆181Updated 7 years ago
- ☆19Updated 3 weeks ago
- ☆14Updated last month
- Manipulating racket bytecode☆25Updated 3 years ago
- Guy Steele's RABBIT Scheme compiler☆62Updated 16 years ago
- Racket Machine Learning☆13Updated last year
- Wasm tooling in Racket.☆43Updated 2 years ago