Logic Workbench, a Clojure toolkit for propositional, predicate and linear temporal logic
☆25Nov 9, 2022Updated 3 years ago
Alternatives and similar repositories for lwb
Users that are interested in lwb are comparing it to the libraries listed below
Sorting:
- core.async channel based event bus for Clojure(Script)☆10Dec 8, 2018Updated 7 years ago
- A Clojure/Script library providing a concise rule definition and query syntax for Datalog☆27Sep 24, 2021Updated 4 years ago
- A Clojure library for writing difference equations☆13Jul 15, 2017Updated 8 years ago
- Example to create and deploy Clojurescript Google Firebase Cloud Functions using Shadow-CLJS☆12Mar 13, 2019Updated 6 years ago
- A Minimal Implementation of Incremental Computation in Clojure and ClojureScript☆17Sep 29, 2019Updated 6 years ago
- A union-find data structure for Clojure☆16May 4, 2020Updated 5 years ago
- EAV triplets for Clara Rules, solving the update problem.☆50Jan 12, 2024Updated 2 years ago
- GCP, data driven☆17Apr 5, 2023Updated 2 years ago
- Project builder for Clojure projects with tools.deps☆19Oct 31, 2020Updated 5 years ago
- threading macro(s) for transducers / transducers re-imagined as streams☆42Dec 27, 2020Updated 5 years ago
- Static purity analysis for Clojure.☆42Oct 15, 2017Updated 8 years ago
- A Clojure tool for displaying arbitrary nested data structures using swing.☆26Jul 22, 2018Updated 7 years ago
- Bayesian Inference with Markov Chain Monte Carlo in Clojure☆16Mar 12, 2014Updated 11 years ago
- A Clojure library for composable async tasks with automatic parallelization, structured concurrency, and parent-child and chain cancellat…☆31Feb 23, 2026Updated 2 weeks ago
- Example of attaching a Hoplon component to a mount point in an existing HTML page.☆10May 19, 2017Updated 8 years ago
- Parinfer implementation in JavaScript☆11Nov 3, 2022Updated 3 years ago
- A neural network library for natural language processing written in pure Clojure☆10Jul 30, 2018Updated 7 years ago
- An r-tree based spatial indexer for Datomic.☆48May 7, 2014Updated 11 years ago
- Durable reference types for Clojure☆77Jul 11, 2019Updated 6 years ago
- Testing library for clojure.spec fdefs☆52Oct 29, 2022Updated 3 years ago
- A cross-platform bloom filter implemented in Clojure/ClojureScript☆25May 19, 2017Updated 8 years ago
- ☆13Feb 12, 2020Updated 6 years ago
- A collection of specs for clojure.core☆14Nov 22, 2017Updated 8 years ago
- Tool to simplify workflow with Git-based Clojure dependencies using clojure.tools.deps☆15May 27, 2020Updated 5 years ago
- clojure.spec (spec.alpha) library aiming to be a fundamental tool for analyzing spec errors☆16Jul 12, 2018Updated 7 years ago
- Org mode driven development examples for Jackdaw library☆12Jun 22, 2020Updated 5 years ago
- DEPRECATED: This project is no longer maintained. Please use vald-client-java instead. A Clojure gRPC client library for Vald / valdcli i…☆12Oct 22, 2024Updated last year
- Fit distributions with mle, mge, mme and qme methods (+ bootstrap)☆48Sep 25, 2024Updated last year
- Propel helps you start Clojure(Script) REPLs with a prepl☆50Dec 29, 2019Updated 6 years ago
- maps, sets and vectors with on-demand secondary indexes.☆81Sep 1, 2020Updated 5 years ago
- Function serialization between Clojure processes and dialects☆55May 5, 2020Updated 5 years ago
- Clojure Data Analysis Shell - interactive data analysis with Clojure from input streams.☆61Feb 10, 2024Updated 2 years ago
- Entity management on top of key-value stores☆23Jan 16, 2026Updated last month
- The torque project CLI toolchain☆16Jun 10, 2024Updated last year
- A project for understanding deployment of Clojure apps to the cloud.☆13Nov 11, 2019Updated 6 years ago
- Bidirectional translation between maps and Java beans that's declarative and reflection-free.☆35May 11, 2019Updated 6 years ago
- ☆602Apr 17, 2021Updated 4 years ago
- An opinionated clojure framework for writing kafka machines☆15Apr 17, 2020Updated 5 years ago
- Get a Voronoi diagram given some points☆16Jan 9, 2018Updated 8 years ago