miniKanren / faster-miniKanrenView external linksLinks
A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
☆17Feb 5, 2018Updated 8 years ago
Alternatives and similar repositories for faster-miniKanren
Users that are interested in faster-miniKanren are comparing it to the libraries listed below
Sorting:
- Workshop on Program Transformations☆26Aug 12, 2023Updated 2 years ago
- Pure Scheme Gopher Server☆11Jan 21, 2012Updated 14 years ago
- client for a snow2 repository☆12Mar 18, 2019Updated 6 years ago
- Canonical miniKanren implementation in Racket☆87Sep 21, 2021Updated 4 years ago
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆29Jan 13, 2018Updated 8 years ago
- An outdated miniKanren implementation with a not-pairo constraint☆30Nov 28, 2013Updated 12 years ago
- The OSCAR Project: the general-purpose defeasible reasoner and architecture for a rational agent☆14Aug 3, 2018Updated 7 years ago
- A pattern match macro for chez-scheme☆19Mar 4, 2017Updated 8 years ago
- Scheme macros for non-linear pattern matching with backtracking for non-free data types☆29Aug 29, 2019Updated 6 years ago
- PostgreSQL binding for R7RS Scheme.☆21Dec 11, 2017Updated 8 years ago
- A talk☆29Apr 14, 2021Updated 4 years ago
- Networked REPL over TCP for Chicken Scheme☆26Oct 14, 2024Updated last year
- R6RS SRFIs☆25Jan 19, 2012Updated 14 years ago
- A Python backed for Idris 2☆29Nov 25, 2025Updated 2 months ago
- Benchmarks for various Scheme implementations. Taken with kind permission from the Larceny project, based on the Gabriel and Gambit bench…☆294Feb 3, 2026Updated last week
- ☆27Mar 4, 2023Updated 2 years ago
- SRFIs for Chez Scheme☆106Sep 10, 2025Updated 5 months ago
- R7RS SRFI implementations☆33Oct 2, 2024Updated last year
- Guile Scheme SQL database interfaces☆31Jan 30, 2026Updated 2 weeks ago
- A core concatenative programming language with variables and first-rank polymorphic type inference☆31Mar 14, 2020Updated 5 years ago
- A Python framework for interacting with in-browser DOM via websockets☆11Mar 28, 2018Updated 7 years ago
- EncryCore node reference implementation☆15Apr 2, 2020Updated 5 years ago
- tool for postgres to automatically build rest services and web forms☆13Feb 3, 2026Updated last week
- Kanren with databases☆44Jul 30, 2024Updated last year
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 8 years ago
- A minimalistic deployment software focused on simplicity and clarity.☆11Feb 12, 2022Updated 4 years ago
- a minimal implementation of incremental computation in Scheme☆36Apr 30, 2017Updated 8 years ago
- Move to https://github.com/The-Pocket/PocketFlow-Rust☆10May 7, 2025Updated 9 months ago
- Creates Random Coding Sequences with specified GC content and Amino Acid usage☆10Jun 21, 2022Updated 3 years ago
- ☆10Nov 23, 2024Updated last year
- Some kind of TidalCycles implementation for SuperCollider☆14May 29, 2020Updated 5 years ago
- Inspired by Lispkit Lisp, this is a series of DIY Forths☆41Jan 5, 2026Updated last month
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆167Feb 4, 2025Updated last year
- Port of the 'MIT Scmutils' library to Chez Scheme.☆40Aug 29, 2024Updated last year
- A compiler for a Standard-ML like language that generates code suitable for embedded computers.☆11Jul 10, 2023Updated 2 years ago
- Processing code to implement John Fairfield's Spellcaster☆10Jan 5, 2016Updated 10 years ago
- FPGA controller for SSD1306 OLED module on SPI. Optimised for GOWIN FPGA☆15Oct 11, 2018Updated 7 years ago
- Rapid system integration of high-level synthesis kernels using the LEAP FPGA framework☆12Apr 17, 2016Updated 9 years ago
- ☆11Sep 21, 2025Updated 4 months ago