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☆158May 21, 2026Updated 2 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 10 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.
- 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 8 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
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- CLP(Set) in miniKanren☆24Oct 21, 2025Updated 9 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 9 years ago
- Instrumentation helpers for Om applications☆159Sep 5, 2015Updated 10 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.
- 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☆196May 16, 2026Updated 2 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 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.
- 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