A Scala port of MiniKanren
☆36Apr 16, 2017Updated 9 years ago
Alternatives and similar repositories for minikanren-scala
Users that are interested in minikanren-scala are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- prototyping logic programming in Scala☆42Mar 25, 2022Updated 4 years ago
- ☆15Jan 9, 2013Updated 13 years ago
- 99 Prolog Problems in Clojure core.logic☆18Nov 27, 2012Updated 13 years ago
- miniKanren for interactive tutorials on the web☆34Jun 3, 2025Updated last year
- A project in which I work my way through a Clojure version of "The Reasoned Schemer"☆32Dec 12, 2012Updated 13 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A library for developing languages with scoped binders (like forall or lambda).☆28Aug 21, 2018Updated 7 years ago
- explorations in core.logic☆118Jun 14, 2024Updated 2 years ago
- Relational implementation of the CESK machine☆21Jul 15, 2013Updated 13 years ago
- Parser combinator library in Scala☆20Aug 29, 2019Updated 6 years ago
- Scala DSL to easily compose awk programs. Its underlying goal is to serve as a simple and concise example of how to build DSLs upon Scala…☆18May 31, 2016Updated 10 years ago
- A simple unit testing framework for Scheme that is slightly more featureful then my previous attempts to handroll a testing framework.☆10Feb 14, 2023Updated 3 years ago
- DEFUNCT: use https://bitbucket.org/ermine-language/ermine-scala ; see README☆20May 2, 2015Updated 11 years ago
- Translation of Pierce's 'Types and Programming Languages' into miniKanren/core.logic☆35Feb 25, 2014Updated 12 years ago
- A Declarative Theorem Prover for First-Order Classical Logic☆32Jun 14, 2024Updated 2 years 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.
- Path expressions through graphlike structures for clojure using core.logic☆17Aug 9, 2013Updated 12 years ago
- Constraint Handling Rules in Clojure☆28Oct 14, 2011Updated 14 years ago
- Supercompilation by Evaluation: archived for posterity. See http://github.com/batterseapower/chsc for the latest developments.☆17Sep 10, 2021Updated 4 years ago
- A typed logic programming language embedded in Haskell☆50Mar 3, 2013Updated 13 years ago
- Mixin classes and traits dynamically☆10Sep 4, 2017Updated 8 years ago
- Quick start for the vagrant box I use for ghcjs / react-haskell / pigment development☆11Jun 26, 2015Updated 11 years ago
- Friendly functions for getting started with tasks☆11Nov 18, 2015Updated 10 years ago
- microkanren in sml☆27Feb 26, 2015Updated 11 years ago
- Automatic (re)compilation of Purescript code☆11Oct 12, 2022Updated 3 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.
- A Prolog Implementation(Internal DSL, External DSL, REPL) in Scala.☆30Feb 19, 2010Updated 16 years ago
- compile-time typechecked sql literals for doobie☆20Sep 6, 2018Updated 7 years ago
- ☆34Jan 19, 2026Updated 6 months ago
- Infuse nim into xv6 till it replaces all the "C"☆13Dec 2, 2015Updated 10 years ago
- An abstract machine for analyzing Racket bytecode.☆29May 1, 2021Updated 5 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 9 years ago
- R + Delite☆25Jul 29, 2013Updated 13 years ago
- The Scala runtime system for the Ermine programming language☆24Jun 10, 2014Updated 12 years ago
- A practical unit-of-measure calculator DSL for Scala☆15May 20, 2016Updated 10 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Playground for Typed Clojurescript☆20Jul 18, 2018Updated 8 years ago
- ☆29Oct 27, 2014Updated 11 years ago
- Constraint programming language embedded in Racket☆156Sep 17, 2021Updated 4 years ago
- From Greek to Clojure, Clojure/conj 2013☆16Jan 18, 2015Updated 11 years ago
- A collection of experiments related to the idea of compiling things☆19Dec 4, 2013Updated 12 years ago
- Deploying things with dependencies to AWS EC2☆17Oct 2, 2017Updated 8 years ago
- Simple miniKanren, with only ==, fresh, and conde. A good starting point for exploratory hacking.☆45May 29, 2023Updated 3 years ago