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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Clojure/Script library providing a concise rule definition and query syntax for Datalog☆27Sep 24, 2021Updated 4 years ago
- A union-find data structure for Clojure☆16May 4, 2020Updated 5 years ago
- A Minimal Implementation of Incremental Computation in Clojure and ClojureScript☆17Sep 29, 2019Updated 6 years ago
- core.async channel based event bus for Clojure(Script)☆10Dec 8, 2018Updated 7 years ago
- A Clojure library for writing difference equations☆13Jul 15, 2017Updated 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.
- A neural network library for natural language processing written in pure Clojure☆10Jul 30, 2018Updated 7 years ago
- EAV triplets for Clara Rules, solving the update problem.☆50Jan 12, 2024Updated 2 years ago
- Testing library for clojure.spec fdefs☆52Oct 29, 2022Updated 3 years ago
- Project builder for Clojure projects with tools.deps☆19Oct 31, 2020Updated 5 years ago
- GCP, data driven☆17Apr 5, 2023Updated 3 years ago
- Bayesian Inference with Markov Chain Monte Carlo in Clojure☆16Mar 12, 2014Updated 12 years ago
- Example of attaching a Hoplon component to a mount point in an existing HTML page.☆10May 19, 2017Updated 8 years ago
- Static purity analysis for Clojure.☆42Mar 9, 2026Updated last month
- clojure.spec (spec.alpha) library aiming to be a fundamental tool for analyzing spec errors☆16Jul 12, 2018Updated 7 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- An r-tree based spatial indexer for Datomic.☆48May 7, 2014Updated 11 years ago
- threading macro(s) for transducers / transducers re-imagined as streams☆42Dec 27, 2020Updated 5 years ago
- A Clojure tool for displaying arbitrary nested data structures using swing.☆26Jul 22, 2018Updated 7 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
- Queues on cue: low-latency persistent blocking queues, processors, and graphs via Chronicle Queue☆106Apr 6, 2023Updated 3 years ago
- ☆603Apr 17, 2021Updated 5 years ago
- Tool to simplify workflow with Git-based Clojure dependencies using clojure.tools.deps☆15May 27, 2020Updated 5 years ago
- A cross-platform bloom filter implemented in Clojure/ClojureScript☆26May 19, 2017Updated 8 years ago
- A Clojure utility to inspect static types inferred by the Clojure compiler☆24Aug 22, 2023Updated 2 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- maps, sets and vectors with on-demand secondary indexes.☆82Sep 1, 2020Updated 5 years ago
- Get a Voronoi diagram given some points☆16Jan 9, 2018Updated 8 years ago
- Function serialization between Clojure processes and dialects☆55May 5, 2020Updated 5 years ago
- Durable reference types for Clojure☆77Jul 11, 2019Updated 6 years ago
- An implementation of Prolog in Clojure☆25Mar 13, 2023Updated 3 years ago
- Create magic sheets to improve your Clojure[Script] repl experience.☆23Sep 26, 2018Updated 7 years ago
- making conversation between languages☆22May 5, 2019Updated 6 years ago
- Org mode driven development examples for Jackdaw library☆12Jun 22, 2020Updated 5 years ago
- Parinfer implementation in JavaScript☆11Nov 3, 2022Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A Clojure library for composable async tasks with automatic parallelization, structured concurrency, and parent-child and chain cancellat…☆32Feb 23, 2026Updated last month
- An implementation of the datalog query language with user-provided indexes.☆15Jun 22, 2015Updated 10 years ago
- The torque project CLI toolchain☆16Jun 10, 2024Updated last year
- Pure Java (and JavaScript) Halunke☆18Apr 12, 2018Updated 8 years ago
- Bidirectional translation between maps and Java beans that's declarative and reflection-free.☆36May 11, 2019Updated 6 years ago
- A project for understanding deployment of Clojure apps to the cloud.☆13Nov 11, 2019Updated 6 years ago
- Propel helps you start Clojure(Script) REPLs with a prepl☆50Dec 29, 2019Updated 6 years ago