nuprl / website
Source for PRL website
☆18Updated 5 months ago
Alternatives and similar repositories for website:
Users that are interested in website are comparing it to the libraries listed below
- Canonical miniKanren implementation in Racket☆84Updated 3 years ago
- F*dging up a Racket: how to write Brainf*ck as a Racket language☆27Updated 5 years ago
- ☆36Updated 3 weeks ago
- A minimalist web framework for the Racket web-server☆27Updated 2 years ago
- #lang for writing C code☆15Updated 7 years ago
- Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.☆126Updated 12 years ago
- Exercism exercises in Racket.☆41Updated last week
- Demonstration of implementing a language in Racket☆58Updated 10 years ago
- ☆19Updated 2 months ago
- A port of sweet expressions to Racket☆48Updated 2 years ago
- Web site for standardml.org.☆36Updated last year
- ☆7Updated 2 months ago
- Racket DSL for generating parsers from BNF grammars [moved to https://git.matthewbutterick.com/mbutterick/brag]☆61Updated 3 years ago
- My Own Linear Lisp☆40Updated 6 years ago
- Magnolisp, a toy programming language☆16Updated last year
- Racket port of the nanopass-framework☆34Updated 4 years ago
- ☆14Updated 2 months ago
- An environment variable manager for Racket applications☆17Updated 2 years ago
- Use Travis CI with Racket☆42Updated 4 years ago
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆28Updated 7 years ago
- ☆70Updated last week
- The Definition of Standard ML, Revised (1997)☆114Updated 7 years ago
- Compile JavaScript to Native Code☆28Updated 5 years ago
- Repository and Wiki for enriching the Standard ML Basis Library☆61Updated 3 years ago
- SML Parser Combinator Library☆28Updated 9 years ago
- A Scala-style magic function application form☆43Updated 2 years ago
- ☆85Updated 4 years ago
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆156Updated 3 months ago
- ☆43Updated 2 months ago
- ☆19Updated last week