nuprl / websiteLinks
Source for PRL website
☆18Updated 6 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
- A basic Parsec-like monadic parser combinator library implementation in Racket.☆49Updated 2 years ago
- Canonical miniKanren implementation in Racket☆85Updated 3 years ago
- ☆37Updated 3 weeks ago
- ☆14Updated 3 weeks ago
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆28Updated 7 years ago
- ☆19Updated 3 weeks ago
- ☆70Updated 2 weeks ago
- Exploration of the inner workings of Racket☆19Updated 8 years ago
- Demonstration of implementing a language in Racket☆58Updated 10 years ago
- Magnolisp, a toy programming language☆17Updated last year
- Embedding of some of SQL into Racket☆34Updated 3 years ago
- A Scala-style magic function application form☆43Updated 2 years ago
- ☆46Updated 3 weeks ago
- ☆7Updated 3 weeks ago
- Typed Racket data structure libraries☆58Updated 3 years ago
- An abstract machine for analyzing Racket bytecode.☆29Updated 4 years ago
- Indentation-based Racket Syntax☆37Updated 3 years ago
- Exercism exercises in Racket.☆41Updated this week
- Repository has moved: https://git.syndicate-lang.org/syndicate-lang/marketplace-2014☆73Updated 4 years ago
- A minimalist web framework for the Racket web-server☆27Updated 2 years ago
- ☆22Updated 5 years ago
- A data frame implementation for Racket☆37Updated last year
- Racket DSL for generating parsers from BNF grammars [moved to https://git.matthewbutterick.com/mbutterick/brag]☆61Updated 3 years ago
- Optimization Coach Plug-In for DrRacket☆20Updated 3 weeks ago
- ☆43Updated 3 weeks ago
- A clone of DrRacket-style Unicode symbol input for Emacs☆16Updated 2 years ago
- Racket port of the nanopass-framework☆34Updated 4 years ago
- Examples of the nice parts of Racket☆22Updated 7 years ago
- Functional interfaces and datatypes for Racket☆43Updated 3 years ago