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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- an implementation of gradual typing in mit-scheme☆10Apr 11, 2021Updated 5 years ago
- An outdated miniKanren implementation with a not-pairo constraint☆30Nov 28, 2013Updated 12 years ago
- Concatenative relational interpreter in miniKanren☆22May 11, 2015Updated 11 years ago
- Kanren with databases☆44Jul 30, 2024Updated 2 years ago
- a x86_64 forth implemented in forth☆13Mar 19, 2016Updated 10 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- client for a snow2 repository☆12Mar 18, 2019Updated 7 years ago
- A Python backed for Idris 2☆30Nov 25, 2025Updated 11 months ago
- Alternative runtime library for C☆21Sep 17, 2023Updated 3 years ago
- Canonical miniKanren implementation in Racket☆87Sep 21, 2021Updated 5 years ago
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆29Jan 13, 2018Updated 8 years ago
- ☆29Jul 1, 2015Updated 11 years ago
- Generate commutative diagrams inside of Pandoc with Tikz☆34Jul 6, 2017Updated 9 years ago
- Benchmarks for various Scheme implementations. Taken with kind permission from the Larceny project, based on the Gabriel and Gambit bench…☆304Feb 3, 2026Updated 9 months ago
- Networked REPL over TCP for Chicken Scheme☆26Aug 24, 2026Updated 2 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A talk☆29Apr 14, 2021Updated 5 years ago
- SRFIs for Chez Scheme☆111Oct 19, 2026Updated 2 weeks ago
- Workshop on Program Transformations☆26Aug 12, 2023Updated 3 years ago
- ☆10Sep 7, 2022Updated 4 years ago
- The Readline module provides interface for GNU Readline.☆14Jun 24, 2026Updated 4 months ago
- The (very) small kernel of the LaTTe proof assistant☆12May 29, 2026Updated 5 months ago
- A comprehensive and practical tutorial for people to learn Purescript without any prior experience with functional programming☆14Mar 22, 2021Updated 5 years ago
- Versions of the "Computer Language Benchmarks Game" benchmarks for the Janet language.☆16Apr 4, 2022Updated 4 years ago
- A library for recreational number theory in MIT Scheme.☆10Feb 2, 2013Updated 13 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- grift is a no_std no_alloc no_unsafe lisp for bare-metal devices☆18Updated this week
- Network Block Device (NBD) client implementation in Go, free of any CGO or system-specific dependencies☆12Jul 20, 2026Updated 3 months ago
- Interpreter, Denotational Semantics, & Tests for a vau-based Lisp dialect.☆10Apr 15, 2013Updated 13 years ago
- Odin bindings for mimalloc (https://github.com/microsoft/mimalloc). mimalloc is a compact general purpose allocator with excellent perfor…☆11May 29, 2023Updated 3 years ago
- Did someone say types?☆13Sep 5, 2016Updated 10 years ago
- 6502 chip simulator in OCaml☆13Apr 30, 2026Updated 6 months ago
- The calculus of constructions☆11Oct 22, 2021Updated 5 years ago
- Snippets for various languages for Kakoune editor.☆11Oct 15, 2021Updated 5 years ago
- High-ish performance, declarative, super minimal DOM tools for HTML & SVG☆12Jul 22, 2021Updated 5 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆12Nov 6, 2025Updated last year
- Theme Generator for VS Code☆10Feb 26, 2022Updated 4 years ago
- Canonical miniKanren implementation☆371Apr 11, 2018Updated 8 years ago
- Code from Chapter 10 & Appendix A, implementation, and Chapters 7 & 8, arithmetic☆140Jun 21, 2018Updated 8 years ago
- Tutorial for Learning OCaml's Effects and Handlers☆10Nov 16, 2022Updated 3 years ago
- Odin bindings to the Llama.cpp☆11Sep 16, 2024Updated 2 years ago
- Vim INside Docker as an Ide☆11Feb 2, 2021Updated 5 years ago