miniKanren for Emacs
☆118Jan 1, 2026Updated 10 months ago
Alternatives and similar repositories for reazon
Users that are interested in reazon are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Compute Emacs Lisp object sizes.☆10Jan 25, 2014Updated 12 years ago
- ☆11Jul 3, 2023Updated 3 years ago
- A set of threading macro's for our favorite operating system☆15Mar 29, 2022Updated 4 years ago
- ☆10Jul 4, 2022Updated 4 years ago
- software archaeology of reflective towers of interpreters☆18Jun 6, 2025Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Emacs Lisp Static Analyzer and gradual type system.☆705Jul 17, 2025Updated last year
- miniKanren variant with a functional syntax, expressing disjunction via pattern matching☆17Mar 28, 2020Updated 6 years ago
- An experimental text-based UI framework for Emacs modeled after React - **requires emacs 26.1 or newer**☆200Oct 28, 2024Updated 2 years ago
- Writes out a graphviz map based on project functions☆21Oct 29, 2025Updated last year
- Experiments with the Verse Calculus in miniKanren☆14Sep 17, 2023Updated 3 years ago
- A library providing "isolated" clojure runtimes in a single jvm process.☆31Jan 28, 2022Updated 4 years ago
- A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!☆24May 1, 2016Updated 10 years ago
- Tree-automata-based run-time type constraints for miniKanren☆14Aug 3, 2023Updated 3 years ago
- an implementation of a microKanren(-like language) in miniKanren☆27Aug 1, 2014Updated 12 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.
- experimental computational medium and supporting tools☆24Oct 23, 2026Updated last week
- Reactive memoization for Emacs Lisp.☆11Feb 17, 2022Updated 4 years ago
- ☆47Jun 19, 2023Updated 3 years ago
- miniKanren in the browser☆56Mar 25, 2016Updated 10 years ago
- Doctests for Emacs Lisp☆25Feb 3, 2024Updated 2 years ago
- Project moved to https://github.com/rorokimdim/emacs-bencode☆14Mar 17, 2019Updated 7 years ago
- 🌲 Structural editing in Emacs for any™ language!☆417Jun 1, 2025Updated last year
- emacs wrapper for pidgin instant messager☆18Mar 3, 2010Updated 16 years ago
- Rainbow background highlighting of code blocks☆26Mar 19, 2019Updated 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Drop-down console for (e)shell & terminal emulation☆17Jan 3, 2026Updated 9 months ago
- Packages the canonical miniKanren implementation for CHICKEN Scheme (http://call-cc.org)☆12Dec 30, 2025Updated 10 months ago
- A simple paint tool for Emacs☆73Jun 20, 2020Updated 6 years ago
- Research project: Program synthesis using updated interface, template and types.☆14Dec 2, 2020Updated 5 years ago
- multi-stage relational programming for staged relational interpreters: running with holes, faster☆143Nov 29, 2025Updated 11 months ago
- Some helpers to post from my org-mode file to Zulip☆14Aug 13, 2026Updated 2 months ago
- Session manager for Emacs based IDEs.☆92Jun 16, 2026Updated 4 months ago
- Polymode support for Org-brain☆14May 10, 2020Updated 6 years ago
- Interactive code auditing and grep tool in Emacs Lisp☆77Oct 10, 2020Updated 6 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- query html document with css selectors in elisp☆45May 30, 2023Updated 3 years ago
- Recursive descent parser for Emacs Lisp☆18Sep 29, 2012Updated 14 years ago
- ☆11Sep 29, 2017Updated 9 years ago
- ☆22Nov 30, 2020Updated 5 years ago
- Run, evaluate and compile functionality for a variety of different languages and modes.☆12Oct 11, 2026Updated 3 weeks ago
- Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work☆14Mar 6, 2015Updated 11 years ago
- A follower to litable☆14Jul 22, 2016Updated 10 years ago