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
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- A neural network library for natural language processing written in pure Clojure☆10Jul 30, 2018Updated 7 years ago
- Example to create and deploy Clojurescript Google Firebase Cloud Functions using Shadow-CLJS☆12Mar 13, 2019Updated 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 2 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 2 weeks 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.
- clojure.spec (spec.alpha) library aiming to be a fundamental tool for analyzing spec errors☆16Jul 12, 2018Updated 7 years ago
- 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☆105Apr 6, 2023Updated 2 years ago
- ☆602Apr 17, 2021Updated 4 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☆25May 19, 2017Updated 8 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 Clojure utility to inspect static types inferred by the Clojure compiler☆24Aug 22, 2023Updated 2 years ago
- 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
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Parinfer implementation in JavaScript☆11Nov 3, 2022Updated 3 years ago
- A Clojure library for composable async tasks with automatic parallelization, structured concurrency, and parent-child and chain cancellat…☆31Feb 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 7 years ago
- Bidirectional translation between maps and Java beans that's declarative and reflection-free.☆35May 11, 2019Updated 6 years ago
- A project for understanding deployment of Clojure apps to the cloud.☆13Nov 11, 2019Updated 6 years ago