emdonahue / SmallKanrenLinks
miniKanren in Pharo
☆10Updated 11 months ago
Alternatives and similar repositories for SmallKanren
Users that are interested in SmallKanren are comparing it to the libraries listed below
Sorting:
- Probabilistic data structures in Pharo Smalltalk.☆29Updated 6 years ago
- Library to enable using graphviz in Racket programs☆25Updated 3 years ago
- A Racket Meta-Program Generator☆17Updated 5 years ago
- Datalog implemented in minikanren☆24Updated 7 years ago
- ☆19Updated 2 years ago
- software archaeology of reflective towers of interpreters☆16Updated 7 months ago
- A metalanguage for creating sophisticated DSLs in Racket.☆32Updated this week
- ☆18Updated 3 years ago
- Cur dependently-typed language in miniKanren.☆17Updated 7 years ago
- Summaries of intro and advanced miniKanren hangout series☆28Updated 7 years ago
- Simple Racket implementation of the OAuth2 family of specifications☆13Updated 4 years ago
- Adds syntax to racket languages☆11Updated 2 years ago
- Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.☆14Updated 3 years ago
- Prolog implementation of microKanren☆43Updated 10 years ago
- A warm dark theme for Pharo Smalltalk☆14Updated last year
- ☆22Updated 5 years ago
- Use Python from Racket☆30Updated 10 months ago
- ☆15Updated 2 years ago
- A microKanren framework for implementing constraints.☆18Updated 7 years ago
- CLP(SMT) on top of miniKanren☆36Updated 3 years ago
- This package implements genereric syntax for working with monads in R6RS scheme.☆25Updated 7 years ago
- A compiler to IA32 and REPL for maru in maru under 7k s-expressions☆16Updated 5 years ago
- Access Chez Scheme documentation from the REPL☆29Updated 2 weeks ago
- Collection of syntax/parse macros☆30Updated 2 years ago
- Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.☆21Updated 10 years ago
- Functional interfaces and datatypes for Racket☆43Updated 3 years ago
- A very little language☆16Updated last year
- A booklet on the Smacc compiler compiler framework☆14Updated 8 months ago
- Easy scripting for DrRacket☆18Updated 2 weeks ago
- pattern combinators extending racket/match to capture 🔗 contexts 📦☆19Updated 5 years ago