A literate clojure implementation of microKanren
☆69Sep 16, 2019Updated 6 years ago
Alternatives and similar repositories for micrologic
Users that are interested in micrologic are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A much faster lein new☆16Mar 18, 2015Updated 11 years ago
- microKanren sagittarius/larceny☆11Jun 13, 2015Updated 11 years ago
- Unification library☆159May 21, 2026Updated 3 months ago
- clojure library for strategic term rewriting inspired by StrategoXT☆24Nov 24, 2016Updated 9 years ago
- Yet another ClojureScript UI framework☆32Aug 13, 2015Updated 11 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.
- A basic Transit example for Clojure/ClojureScript users☆21Jul 22, 2014Updated 12 years ago
- Lambda Jam 2014: Roll Your Own Relational DSL☆15Feb 3, 2017Updated 9 years ago
- Clojure transducers with a more readable interface☆34Jun 11, 2016Updated 10 years ago
- A Clojure wrapper for JaCoP, a Java constraint programming engine.☆55Apr 3, 2020Updated 6 years ago
- clojure predicate dispatch☆28Aug 18, 2017Updated 9 years ago
- Datatype agnostic triple store & query engine API☆82Nov 3, 2020Updated 5 years ago
- A statically typed, functional Lisp, building upon Clojure☆80Jun 18, 2017Updated 9 years ago
- Riak 2.0 asynchronous Clojure client. Written with callback functions; requires Java 7 because it uses NIO.2.☆17Jun 5, 2016Updated 10 years ago
- repl into the clojurescript community☆459Aug 7, 2015Updated 11 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.
- CLP(Set) in miniKanren☆24Oct 21, 2025Updated 10 months ago
- The missing tool☆270Jun 7, 2018Updated 8 years ago
- Backend API for McCawley syntactic parser.☆14Apr 10, 2016Updated 10 years ago
- [ABANDONED] A jaunt away from Clojure☆135Oct 18, 2016Updated 9 years ago
- Playground for Typed Clojurescript☆20Jul 18, 2018Updated 8 years ago
- Develop iOS apps with ClojureScript☆345Sep 20, 2017Updated 8 years ago
- ClojureScript library providing utilities for working with JavaScript KeyboardEvents☆36Mar 3, 2015Updated 11 years ago
- Simple ClojureScript interface to React☆139Aug 19, 2016Updated 10 years ago
- Instrumentation helpers for Om applications☆159Sep 5, 2015Updated 10 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.
- better automata through combinators☆591Sep 9, 2018Updated 7 years ago
- Sample SPA using DataScript and core.async☆160Jan 25, 2016Updated 10 years ago
- A Factor-inspired, concatenative DSL for Clojure☆101Jul 28, 2013Updated 13 years ago
- ClojureScript API parser☆197May 16, 2026Updated 3 months ago
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆64Dec 30, 2018Updated 7 years ago
- An awesome typewriter built in Om, React using figwheel.☆17Jun 18, 2025Updated last year
- miniKanren in OCaml☆31May 5, 2023Updated 3 years ago
- DataScript ToDo Sample Application☆80Mar 2, 2019Updated 7 years ago
- ClojureScript plumbing for your self-hosted REPLs.☆210Aug 17, 2018Updated 8 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.
- Gershwin programming language☆80Feb 13, 2014Updated 12 years ago
- ClojureScript compiling ClojureScript☆163Jul 27, 2015Updated 11 years ago
- Flexible tracing for ClojureScript☆145Apr 4, 2017Updated 9 years ago
- Speak Bitcoin in Clojure☆29Mar 18, 2015Updated 11 years ago
- DEPRECATED: use funcool/promesa☆18Nov 29, 2015Updated 10 years ago
- A generic Om component to handle inputs☆26Oct 15, 2015Updated 10 years ago
- Staged compilation for Clojure through environment & special-form aware syntax-quoting.☆82Oct 29, 2021Updated 4 years ago