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
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A basic Transit example for Clojure/ClojureScript users☆21Jul 22, 2014Updated 11 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
- Playground for Typed Clojurescript☆20Jul 18, 2018Updated 8 years ago
- A statically typed, functional Lisp, building upon Clojure☆80Jun 18, 2017Updated 9 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
- The missing tool☆270Jun 7, 2018Updated 8 years ago
- [ABANDONED] A jaunt away from Clojure☆135Oct 18, 2016Updated 9 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.
- repl into the clojurescript community☆459Aug 7, 2015Updated 10 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
- CLP(Set) in miniKanren☆24Oct 21, 2025Updated 8 months ago
- DataScript ToDo Sample Application☆80Mar 2, 2019Updated 7 years ago
- Datatype agnostic triple store & query engine API☆82Nov 3, 2020Updated 5 years ago
- Develop iOS apps with ClojureScript☆345Sep 20, 2017Updated 8 years ago
- tie two trees together to track a transformation☆27Jul 30, 2015Updated 10 years ago
- Backend API for McCawley syntactic parser.☆14Apr 10, 2016Updated 10 years ago
- Staged compilation for Clojure through environment & special-form aware syntax-quoting.☆82Oct 29, 2021Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ClojureScript plumbing for your self-hosted REPLs.☆210Aug 17, 2018Updated 7 years ago
- ClojureScript library providing utilities for working with JavaScript KeyboardEvents☆36Mar 3, 2015Updated 11 years ago
- Flexible tracing for ClojureScript☆145Apr 4, 2017Updated 9 years ago
- Simple ClojureScript interface to React☆139Aug 19, 2016Updated 9 years ago
- Clojure as a literate program☆28Jun 20, 2023Updated 3 years ago
- Instrumentation helpers for Om applications☆159Sep 5, 2015Updated 10 years ago
- fast-zip☆88Jul 1, 2022Updated 4 years ago
- A Factor-inspired, concatenative DSL for Clojure☆101Jul 28, 2013Updated 12 years ago
- ClojureScript API parser☆196May 16, 2026Updated 2 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 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
- An embedded extensible logic DSL for Clojure.☆189Oct 30, 2018Updated 7 years ago
- Gershwin programming language☆80Feb 13, 2014Updated 12 years ago
- ☆282Feb 6, 2015Updated 11 years ago
- ClojureScript compiling ClojureScript☆163Jul 27, 2015Updated 10 years ago