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
- A salesforce library designed to provide idiomatic clojure representations of salesforce data and metadata☆11Jan 14, 2020Updated 6 years ago
- ☆12Oct 19, 2014Updated 11 years ago
- TBNL: Rule your Android, as the Root, fully programmable, in Clojure☆49Apr 29, 2015Updated 10 years ago
- Orc programming language implementation☆45Jan 3, 2022Updated 4 years ago
- Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.☆167Apr 1, 2017Updated 8 years ago
- Wiki For Camlunity☆13Feb 12, 2015Updated 11 years ago
- Experiments with the Verse Calculus in miniKanren☆14Sep 17, 2023Updated 2 years ago
- An open format definition for static analysis tools☆11Jan 20, 2023Updated 3 years ago
- Haskell client for Cassandra's CQL protocol☆28Jul 10, 2017Updated 8 years ago
- Mirror of Apache Click☆15Dec 10, 2018Updated 7 years ago
- Fastest Minimalist CoffeeScript/JavaScript CoffeeCup/Handlebars/Mustache template engine.☆46Jan 13, 2013Updated 13 years ago
- 🔧 🎨 HelMA - Haskellish Esoteric Little Minimal Automaton for Esoteric Languages implemented in Haskell☆15Apr 16, 2024Updated last year
- Code for Strange Loop talk on Specter☆13Sep 26, 2015Updated 10 years ago
- the web site for RubyKaigi.☆44Oct 29, 2011Updated 14 years ago
- Bigloo Scheme Compiler☆11Dec 28, 2015Updated 10 years ago
- Java version of the card game Dominion☆14Oct 25, 2010Updated 15 years ago
- The Average Novel☆10Dec 2, 2017Updated 8 years ago
- Moana implementation in OCaml☆16Jul 15, 2015Updated 10 years ago
- an implementation of Evolution for a course on Sw Dev☆10May 9, 2016Updated 9 years ago
- Word clock wristwatch using the TIMESQUARE watch and custom faceplate.☆11Aug 17, 2020Updated 5 years ago
- A Basicode interpreter, written in Javascript. Behaves like a Commodore 64, ZX Spectrum, Dragon 32, or BBC Micro.☆11Jan 3, 2014Updated 12 years ago