relational-interpreter-with-set-bang

Relational Scheme interpreter, written in miniKanren, with set!, and supporting different evaluation orders

Stars

2

Forks

0

Language

Scheme

Last Updated

Jul 11, 2021

Similar Repos
Repo Language Stars Description Updated At
Scheme 11 Relational Scheme interpreter, written in miniKanren, with Scheme pattern matcher Feb 11, 2023
Scheme 6 miniKanren interpreter in Scheme Feb 15, 2021
Scheme 21 Concatenative relational interpreter in miniKanren Feb 11, 2023
Scheme 128 Relational interpreter in miniKanren that can generate quines Mar 02, 2023
Scheme 3 An interpreter for scheme, written in scheme Oct 18, 2019
Java 8 Relational Algebra interpreter written in Java Sep 13, 2022
JavaScript 699 Scheme interpreter written in JavaScript Apr 27, 2023
Scheme 5 Experiments with writing relational verifier/synthesizer in miniKanren. Feb 11, 2023
Rust 2 A Scheme interpreter written in Rust Aug 02, 2021
JavaScript 43 Toy Scheme interpreter written in CoffeeScript Mar 08, 2023
Scala 7 A Scheme Interpreter Written In Scala Nov 07, 2022
HaXe 4 A scheme interpreter written in haXe Jun 24, 2017
TypeScript 3 toy scheme interpreter written by typescript and rust Jul 12, 2023
Python 4 A scheme-like interpreter written in Python Jan 04, 2020
Rust 25 Very incomplete Scheme interpreter, written in Rust Aug 09, 2021
Python 2 A toy Scheme interpreter written in Python. Apr 28, 2021
JavaScript 6 A practical Scheme interpreter written in JavaScript. Jun 23, 2018
JavaScript 11 A tiny Scheme Interpreter written in JavaScript Sep 05, 2021
JavaScript 8 Simple Scheme interpreter with tail-call optimization written in JavaScript Feb 13, 2023
Scheme 2 Extremely early prototype of an interactive programming assistant, based on the relational interpreter approach in … Jul 11, 2021
JavaScript 4 Scheme interpreter and REPL Aug 17, 2022
JavaScript 296 Scheme based powerful lisp interpreter written in JavaScript Apr 23, 2023
Scheme 2 Code from the 2011 Scheme Workshop Paper by Byrd, Holk, and Friedman, "miniKanren, Live and … Jul 11, 2021
Scheme 14 Code from the 2012 Scheme Workshop paper by Byrd, Holk, and Friedman, "miniKanren, Live and … Jul 04, 2022
Ruby 10 A small, simple and incomplete Lisp/Scheme interpreter written in Ruby Jul 30, 2019
C 239 Tiny Scheme-like Lisp interpreter written in a weekend Aug 08, 2022
C 5 toy implementation of a Scheme interpreter written in C Jul 26, 2018
OCaml 8 A multi-stage R5RS Scheme interpreter written in MetaOCaml Jul 06, 2022
CoffeeScript 40 Baby Scheme interpreter with tail calls and call/cc Jan 28, 2023
Scheme 8 n-gram probabilities based on Lisp code, for directing search of the relational Scheme interpreter Jun 19, 2022
JavaScript 15 A TOY Scheme interpreter implemented with JavaScript. Jul 25, 2022
Java 273 Standard ML interpreter, with relational extensions, implemented in Java May 31, 2022
Java 18 Standard ML interpreter, with relational extensions, implemented in Java Feb 28, 2023
C++ 2 Stupid and Obvious Non-recursive Scheme Interpreter. Apr 02, 2019
TeX 57 Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations' Dec 14, 2022
None 4 Gambit Scheme interpreter compiled with emscripten and running in the browser Nov 17, 2022
Jupyter Notebook 2 FinChat corpus and evaluation set Apr 25, 2023
C 45 Yet Another Scheme Interpreter using flex and bison Apr 15, 2023
Rust 3 Interpreter for a Scheme-esque language with semantic whitespace Nov 09, 2020
Scheme 2 Relational interpreter that explicitly represents errors, and can generate programs with specific errors Feb 15, 2022
C++ 5 Scheme interpreter in C++, with the power of modern C++ and RAII. Mar 04, 2023
Python 11 Tiny calculator interpreter with supporting Mathematical functions using Python. May 02, 2022
Python 2 Evaluation of FDY orders and production plans based on optimization theory Jun 18, 2023
JavaScript 251 Node.js ORM framework supporting MySQL and SQLite 3 relational databases. Apr 24, 2023
C++ 12 Turing-complete implementation of a scheme interpreter bootstrapped with C++ Jul 21, 2022
JavaScript 10 Racket/PLT-Scheme interpreter in your browser, written (for fun!) in Javascript. View live: May 22, 2019
Haskell 18 A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell. May 09, 2023
None 4 Automatically set buy orders on the Steam Market with steampy. Apr 17, 2023
Scheme 14 Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work Jul 05, 2022
CSS 3 Describe the implementation a little scheme interpreter in Pharo as pretext to play with a … Nov 22, 2020