webyrd / relational-interpreter-with-matchView external linksLinks
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 10 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☆36Apr 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 8 months ago
- Automatically exported from code.google.com/p/moe-js☆29Mar 12, 2015Updated 10 years ago
- Exercism exercises in Scheme.☆40Feb 1, 2026Updated 2 weeks ago
- 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 6 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 salesforce library designed to provide idiomatic clojure representations of salesforce data and metadata☆11Jan 14, 2020Updated 6 years ago
- A programming language☆11Jan 7, 2022Updated 4 years ago
- ☆12Oct 19, 2014Updated 11 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
- A string-based esoteric programming language.☆10Jul 28, 2021Updated 4 years ago
- The Unframework☆24Jan 26, 2012Updated 14 years ago
- An open format definition for static analysis tools☆11Jan 20, 2023Updated 3 years ago
- Simplified shell reimplementation of containers — see also https://github.com/arachsys/containers☆13Jan 25, 2023Updated 3 years ago
- Implementation of Tree esoteric programming language☆10Mar 3, 2023Updated 2 years ago
- FG Aircraft | IDG-A32X for FlightGear☆10Sep 6, 2018Updated 7 years ago
- Lossless normalization of uppercase characters☆11Jul 3, 2023Updated 2 years ago
- 3D grid and building block engine supporting the 3DML text format, similar to but predates Minecraft☆12Sep 9, 2018Updated 7 years ago
- A collection of freely-licensed js1k entries☆10Feb 29, 2016Updated 9 years ago
- ☆15Jul 11, 2012Updated 13 years ago
- Scheme libraries written or packaged for R7RS implementations☆13Apr 7, 2018Updated 7 years ago
- Inefficient and syntactically unwieldy implementation of algebraic effects in Python using generators☆13Aug 31, 2020Updated 5 years ago
- The Average Novel☆10Dec 2, 2017Updated 8 years ago
- A Dependently Timed Drum Machine Language☆11May 4, 2024Updated last year
- ☆12May 23, 2012Updated 13 years ago
- Useful library in C to send or receive data using ringbuffers and poll☆10Oct 29, 2019Updated 6 years ago