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
- Probabilistic data structures in Pharo Smalltalk.☆29Updated 5 years ago
- A metalanguage for creating sophisticated DSLs in Racket.☆30Updated last week
- ☆19Updated last year
- software archaeology of reflective towers of interpreters☆15Updated 5 months ago
- Library to enable using graphviz in Racket programs☆25Updated 3 years ago
- ☆17Updated 2 years ago
- A compiler to IA32 and REPL for maru in maru under 7k s-expressions☆16Updated 4 years ago
- Datalog implemented in minikanren☆24Updated 7 years ago
- The Powerlang Bootstrapper☆37Updated last year
- A Racket Meta-Program Generator☆17Updated 4 years ago
- Smalltalk Compiler Compiler : a parser generator☆33Updated last year
- Lowtalk, a new Smalltalk dialect to replace Slang☆39Updated 5 years ago
- Functional support for Pharo☆37Updated 5 months ago
- ☆25Updated this week
- Summaries of intro and advanced miniKanren hangout series☆28Updated 7 years ago
- An implementation of µKanren for Pharo☆12Updated 10 years ago
- Implementation of local and remote loci for Racket☆12Updated 4 years ago
- A high-performance top-down parser☆43Updated 3 months ago
- Research project: Program synthesis using updated interface, template and types.☆14Updated 4 years ago
- Racket libraries for scientific computing☆18Updated 2 weeks ago
- A programming argot☆58Updated 11 months ago
- A diagram drawing library for Racket☆18Updated 4 years ago
- Some code in the Rhombus/Shrubbery prototype☆12Updated 3 months ago
- Racket implementation of Cook and Lämmel's partial evaluation tutorial.☆31Updated 12 years ago
- Pier3 is a CMS - http://www.piercms.com/☆10Updated last week
- A microKanren framework for implementing constraints.☆18Updated 6 years ago
- Functional interfaces and datatypes for Racket☆43Updated 3 years ago
- Library for building Interactive Direct Manipulation Tools (IDMTs) in Racket.☆30Updated 4 years ago
- ☆15Updated 2 years ago
- Prolog implementation of microKanren☆43Updated 10 years ago