emdonahue / SmallKanren
miniKanren in Pharo
☆10Updated 9 months ago
Alternatives and similar repositories for SmallKanren:
Users that are interested in SmallKanren are comparing it to the libraries listed below
- Library to enable using graphviz in Racket programs☆25Updated 3 years ago
- A metalanguage for creating sophisticated DSLs in Racket.☆31Updated last week
- A Racket Meta-Program Generator☆17Updated 4 years ago
- Probabilistic data structures in Pharo Smalltalk.☆29Updated 5 years ago
- Some code in the Rhombus/Shrubbery prototype☆12Updated 3 months ago
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆25Updated 11 years ago
- Datalog implemented in minikanren☆24Updated 7 years ago
- ☆22Updated 2 years ago
- Decentralized Software Organisms☆18Updated 2 years ago
- ☆21Updated 5 years ago
- Easy scripting for DrRacket☆18Updated last week
- CLP(SMT) on top of miniKanren☆35Updated 3 years ago
- ☆14Updated 4 years ago
- ☆15Updated 2 years ago
- software archaeology of reflective towers of interpreters☆15Updated 5 months ago
- A microKanren framework for implementing constraints.☆18Updated 6 years ago
- Racket libraries for scientific computing☆18Updated 3 weeks ago
- Cur dependently-typed language in miniKanren.☆17Updated 7 years ago
- A diagram drawing library for Racket☆18Updated 4 years ago
- Research project: Program synthesis using updated interface, template and types.☆14Updated 4 years ago
- virtualenv like tool for Racket☆31Updated 2 years ago
- ☆18Updated last year
- Library for building Interactive Direct Manipulation Tools (IDMTs) in Racket.☆30Updated 4 years ago
- Implementation of local and remote loci for Racket☆12Updated 4 years ago
- ☆40Updated 11 months ago
- Adds syntax to racket languages☆11Updated 2 years ago
- nand-lang☆15Updated 6 years ago
- A compiler to IA32 and REPL for maru in maru under 7k s-expressions☆16Updated 4 years ago
- Date and time library for Racket☆44Updated 11 months ago
- Simple Racket implementation of the OAuth2 family of specifications☆13Updated 4 years ago