nuprl / websiteLinks
Source for PRL website
☆18Updated 2 weeks 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
- ☆15Updated 2 months ago
- Demonstration of implementing a language in Racket☆58Updated 11 years ago
- ☆37Updated 2 months ago
- Exercism exercises in Racket.☆46Updated last month
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆29Updated 8 years ago
- Web site for standardml.org.☆36Updated 2 years ago
- An environment variable manager for Racket applications☆17Updated 2 years ago
- ☆39Updated last week
- ☆20Updated 2 months ago
- Canonical miniKanren implementation in Racket☆87Updated 4 years ago
- racket-cheat - a cheat sheet for Racket☆37Updated 2 months ago
- Magnolisp, a toy programming language☆19Updated 2 years ago
- ☆69Updated last week
- ☆11Updated 2 months ago
- ☆19Updated 2 weeks ago
- A Racket refactoring engine☆65Updated last month
- Racket parser combinators inspired by parsack and megaparsec☆83Updated last year
- An idris backend compiling to chez scheme☆48Updated 8 years ago
- My Own Linear Lisp☆42Updated 7 years ago
- #lang for writing C code☆16Updated 8 years ago
- ☆96Updated 2 months ago
- Guy Steele's RABBIT Scheme compiler☆62Updated 16 years ago
- A Scala-style magic function application form☆43Updated 3 years ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆36Updated 9 years ago
- ☆49Updated 2 months ago
- Algebraic structures for untyped Racket☆78Updated last year
- Repository and Wiki for enriching the Standard ML Basis Library☆64Updated 4 years ago
- SML Parser Combinator Library☆28Updated 9 years ago
- (Somewhat) Algebraic Data Types for Racket