emdonahue / SmallKanrenLinks
miniKanren in Pharo
☆11Updated last year
Alternatives and similar repositories for SmallKanren
Users that are interested in SmallKanren are comparing it to the libraries listed below
Sorting:
- ☆19Updated 3 years ago
- Probabilistic data structures in Pharo Smalltalk.☆29Updated 6 years ago
- ☆30Updated last week
- A metalanguage for creating sophisticated DSLs in Racket.☆33Updated last week
- A server, client and UI for remotely debugging Racket applications.☆30Updated 2 months ago
- Library to enable using graphviz in Racket programs☆25Updated 3 years ago
- A DSL for runtime code generation in racket☆67Updated 3 years ago
- A warm dark theme for Pharo Smalltalk☆14Updated last year
- The Powerlang Bootstrapper☆39Updated last year
- Library for building Interactive Direct Manipulation Tools (IDMTs) in Racket.☆30Updated 4 years ago
- Wasm tooling in Racket.☆44Updated 2 years ago
- An embeddable flow-oriented language.☆72Updated last month
- Leibniz - a Digital Scientific Notation☆36Updated 5 months ago
- Datalog implemented in minikanren☆24Updated 8 years ago
- The Magritte Meta-Model☆68Updated 4 months ago
- Prolog implementation of microKanren☆43Updated 10 years ago
- Some code in the Rhombus/Shrubbery prototype☆12Updated 9 months ago
- A booklet on the Smacc compiler compiler framework☆14Updated 11 months ago
- Pharo Smaltalk kernel for Jupyter☆37Updated 3 years ago
- Adds syntax to racket languages☆11Updated 3 years ago
- Lowtalk, a new Smalltalk dialect to replace Slang☆39Updated 6 years ago
- Access Chez Scheme documentation from the REPL☆29Updated 4 months ago
- ☆15Updated 3 years ago
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆59Updated 6 years ago
- To have a map of the Pharo related projects☆20Updated 2 years ago
- ☆41Updated 3 months ago
- A compiler to IA32 and REPL for maru in maru under 7k s-expressions☆18Updated 5 years ago
- A programming argot☆58Updated last year
- the Context distribution of the Smalltalk programming language :: live discussion at https://squeak.slack.com☆38Updated last year
- Smalltalk Compiler Compiler : a parser generator☆34Updated last year