niitsuma / Racket-miniKanren
Canonical miniKanren implementation in Racket
☆16Updated 7 years ago
Related projects: ⓘ
- A port of sweet expressions to Racket☆47Updated last year
- ☆57Updated 7 years ago
- A Scala-style magic function application form☆43Updated 2 years ago
- A Racket package for creating and composing pure functional lenses☆74Updated 5 years ago
- Metacircular evaluator for a tiny fexpr language☆45Updated 12 years ago
- Canonical miniKanren implementation in Racket☆83Updated 3 years ago
- The Racket pastebin.☆30Updated 2 years ago
- Racket parser combinators inspired by parsack and megaparsec☆76Updated 2 years ago
- Terminal emulator in racket☆40Updated 11 months ago
- ☆15Updated last month
- staged relational interpreters: running with holes, faster☆124Updated last month
- Indentation-based Racket Syntax☆37Updated 3 years ago
- A collection of core libraries for Racket☆80Updated last week
- ncurses API/FFI for Racket☆15Updated 4 years ago
- (Somewhat) Algebraic Data Types for Racket☆35Updated last year
- Collection of syntax/parse macros☆29Updated last year
- Generic collections API for Racket☆53Updated 2 years ago
- ☆40Updated 4 months ago
- Racket DSL for generating parsers from BNF grammars [moved to https://git.matthewbutterick.com/mbutterick/brag]☆61Updated 2 years ago
- ☆76Updated 5 years ago
- ☆11Updated 5 years ago
- Embedding of some of SQL into Racket☆33Updated 2 years ago
- HASKELL: Yale Haskell system written in Lisp☆96Updated 10 years ago
- Prolog implementation of microKanren☆41Updated 9 years ago
- remix - a revised version of Racket☆33Updated last year
- Haskell Semantics with Lisp Syntax☆66Updated 10 years ago
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆151Updated 2 months ago
- minikanren mips assembler/disassembler☆29Updated 9 years ago
- A zipper library for Racket☆19Updated 8 years ago
- Racket port of the nanopass-framework☆34Updated 3 years ago
- Functional interfaces and datatypes for Racket☆42Updated 3 years ago