nuprl / websiteLinks
Source for PRL website
☆18Updated 9 months ago
Alternatives and similar repositories for website
Users that are interested in website are comparing it to the libraries listed below
Sorting:
- ☆39Updated this week
- ☆37Updated this week
- 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
- ☆14Updated this week
- An environment variable manager for Racket applications☆17Updated 2 years ago
- racket-cheat - a cheat sheet for Racket☆36Updated this week
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆29Updated 7 years ago
- Canonical miniKanren implementation in Racket☆86Updated 3 years ago
- Manipulating racket bytecode☆25Updated 3 years ago
- My Own Linear Lisp☆41Updated 6 years ago
- Python interpreter for Peter Landin's SECD abstract machine.☆42Updated 12 years ago
- ☆19Updated 2 years ago
- ☆70Updated last week
- ☆19Updated this week
- A scheme/Racket based package for symbolic mathematics for physicist, which currently supports a realization of Euler-Lagrangian Equation…☆16Updated 11 years ago
- A minimalist web framework for the Racket web-server☆27Updated 2 years ago
- A Scala-style magic function application form☆43Updated 3 years ago
- ☆94Updated 3 weeks ago
- Racket DSL for generating parsers from BNF grammars [moved to https://git.matthewbutterick.com/mbutterick/brag]☆61Updated 3 years ago
- ☆22Updated 5 years ago
- Racket port of the nanopass-framework☆34Updated 4 years ago
- Web site for standardml.org.☆36Updated last year
- ECMAScript for Racket☆20Updated 3 years ago
- Exercism exercises in Racket.☆43Updated last week
- Use Python from Racket☆33Updated last year
- Forth emulator, as a Racket #lang☆21Updated 2 years ago
- A basic Parsec-like monadic parser combinator library implementation in Racket.☆49Updated 2 years ago
- Wasm tooling in Racket.☆44Updated 2 years ago
- An abstract machine for analyzing Racket bytecode.☆29Updated 4 years ago