scheme-and-computer-science / library.readscheme.org
Bibliography of Scheme-related Research
☆15Updated 5 years ago
Alternatives and similar repositories for library.readscheme.org:
Users that are interested in library.readscheme.org are comparing it to the libraries listed below
- A metalanguage for creating sophisticated DSLs in Racket.☆31Updated last week
- Collection of syntax/parse macros☆29Updated 2 years ago
- An implementation of "A Pretty Expressive Printer" in Racket☆27Updated last year
- A DSL for runtime code generation in racket☆67Updated 2 years ago
- An embeddable flow-oriented language.☆70Updated 2 weeks ago
- Functional interfaces and datatypes for Racket☆43Updated 3 years ago
- Relational interpreter for miniKanren, in miniKanren.☆14Updated 3 years ago
- Canonical miniKanren implementation in Racket☆84Updated 3 years ago
- ☆40Updated 11 months ago
- A 2D RPG implemented in the Rhombus Racket dialect☆52Updated last year
- Data Structure Optimization for Functional Programs☆33Updated 6 years ago
- A notional machine for the SMoL languages☆22Updated last year
- ☆15Updated 2 years ago
- A property-based testing library for Racket.☆31Updated 11 months ago
- virtualenv like tool for Racket☆31Updated 2 years ago
- A Scheme-like CBPV language with Racket Interoperability☆39Updated last year
- Kanren with databases☆43Updated 7 months ago
- ☆78Updated 5 years ago
- A Scala-style magic function application form☆43Updated 2 years ago
- Racket DSL for generating parsers from BNF grammars [moved to https://git.matthewbutterick.com/mbutterick/brag]☆61Updated 3 years ago
- (Somewhat) Algebraic Data Types for Racket☆34Updated 2 years ago
- Prolog implementation of microKanren☆43Updated 10 years ago
- Racket parser combinators inspired by parsack and megaparsec☆80Updated 5 months ago
- Based on Plait (based on PLAI Typed, based on PLAI), but in Shrubbery notation☆17Updated last week
- ☆18Updated last year
- An idris backend compiling to chez scheme☆46Updated 7 years ago
- Access Chez Scheme documentation from the REPL☆28Updated 4 months ago
- A port of sweet expressions to Racket☆47Updated 2 years ago
- A TODO list feature for DrRacket, like to Agda's goal list but for any language.☆33Updated last year
- A microKanren framework for implementing constraints.☆18Updated 6 years ago