Relational Scheme interpreter, written in miniKanren, with Scheme pattern matcher
☆11Mar 17, 2015Updated 10 years ago
Alternatives and similar repositories for relational-interpreter-with-match
Users that are interested in relational-interpreter-with-match are comparing it to the libraries listed below
Sorting:
- Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.☆23Feb 17, 2015Updated 11 years ago
- new generation language☆20Aug 2, 2013Updated 12 years ago
- A POC implementation of muKanren using CSP (core.async)☆31May 2, 2014Updated 11 years ago
- an implementation of a microKanren(-like language) in miniKanren☆27Aug 1, 2014Updated 11 years ago
- Code, wiki, and resources for the weekly miniKanren uncourse☆52Apr 20, 2015Updated 10 years ago
- a minimal implementation of incremental computation in Scheme☆37Apr 30, 2017Updated 8 years ago
- A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!☆24May 1, 2016Updated 9 years ago
- Type safe abstract binding trees for Haskell, using Vinyl☆16Oct 1, 2017Updated 8 years ago
- Oleg Kiselyov's minimal implementation of logic programming☆24Feb 5, 2013Updated 13 years ago
- The Grand Scheme Glossary☆32May 29, 2025Updated 9 months ago
- Automatically exported from code.google.com/p/moe-js☆29Mar 12, 2015Updated 10 years ago
- Exercism exercises in Scheme.☆40Feb 1, 2026Updated last month
- The Definition of Standard ML (1990)☆124Oct 27, 2014Updated 11 years ago
- Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48☆36Apr 12, 2012Updated 13 years ago
- Data Structure Optimization for Functional Programs☆34Feb 26, 2019Updated 7 years ago
- (Somewhat) Algebraic Data Types for Racket☆34Jan 15, 2023Updated 3 years ago
- PureScript compiler written in PureScript (On hold / inactive)☆61Nov 2, 2014Updated 11 years ago
- A programming language☆11Jan 7, 2022Updated 4 years ago
- ☆12Oct 19, 2014Updated 11 years ago
- A salesforce library designed to provide idiomatic clojure representations of salesforce data and metadata☆11Jan 14, 2020Updated 6 years ago
- Orc programming language implementation☆45Jan 3, 2022Updated 4 years ago
- TBNL: Rule your Android, as the Root, fully programmable, in Clojure☆49Apr 29, 2015Updated 10 years ago
- Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.☆167Apr 1, 2017Updated 8 years ago
- Online partial evaluator for pure Prolog programs (with built-ins)☆12Jan 12, 2026Updated last month
- Scheme libraries written or packaged for R7RS implementations☆13Apr 7, 2018Updated 7 years ago
- Fork: DO NOT SUBMIT PULL REQS/BUG REPORTS HERE☆14Jan 9, 2013Updated 13 years ago
- An interpreter for concatenative combinators (i.e. Combinators as a functional language)☆10Nov 27, 2021Updated 4 years ago
- Moana implementation in OCaml☆16Jul 15, 2015Updated 10 years ago
- If at first you don't succeed☆12Sep 25, 2020Updated 5 years ago
- Prove formulas of Presburger Arithmetic☆11Oct 5, 2024Updated last year
- 🕵️♂️ A Slack log viewer☆14Jan 8, 2023Updated 3 years ago
- Survey on materials that touch on the history of Lambda Calculus☆12Sep 13, 2020Updated 5 years ago
- The generalized intensional compiler for a Haskell-like language.☆14Nov 27, 2017Updated 8 years ago
- Sammyjs.org☆19Jul 27, 2015Updated 10 years ago
- The fractal land generator☆15Aug 3, 2019Updated 6 years ago
- Bigloo Scheme Compiler☆11Dec 28, 2015Updated 10 years ago
- John Shutt's "Kernel" language implemented on ABE (C) runtime.☆13Sep 3, 2018Updated 7 years ago
- Radvylf Should Not Be Allowed To Write Programming Languages☆12Nov 11, 2022Updated 3 years ago
- Haskell -> Lazy K translator.☆13Apr 5, 2014Updated 11 years ago