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 5 years ago
- A union-find data structure for Clojure☆20May 4, 2020Updated 6 years ago
- A neural network library for natural language processing written in pure Clojure☆10Jul 30, 2018Updated 8 years ago
- core.async channel based event bus for Clojure(Script)☆11Dec 8, 2018Updated 7 years ago
- A collection of specs for clojure.core☆14Nov 22, 2017Updated 8 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆27Sep 11, 2021Updated 5 years ago
- A Minimal Implementation of Incremental Computation in Clojure and ClojureScript☆17Sep 29, 2019Updated 7 years ago
- A Clojure library for writing difference equations☆13Jul 15, 2017Updated 9 years ago
- Example to create and deploy Clojurescript Google Firebase Cloud Functions using Shadow-CLJS☆12Mar 13, 2019Updated 7 years ago
- Project builder for Clojure projects with tools.deps☆19Oct 31, 2020Updated 5 years ago
- EAV triplets for Clara Rules, solving the update problem.☆51Jan 12, 2024Updated 2 years ago
- GCP, data driven☆17Apr 5, 2023Updated 3 years ago
- Testing library for clojure.spec fdefs☆52Oct 29, 2022Updated 4 years ago
- Hacky Clojure program to download media from tumblr liked posts☆13Dec 4, 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.
- Queues on cue: low-latency persistent blocking queues, processors, and graphs via Chronicle Queue☆109Apr 6, 2023Updated 3 years ago
- Example of attaching a Hoplon component to a mount point in an existing HTML page.☆10May 19, 2017Updated 9 years ago
- Static purity analysis for Clojure.☆43Mar 9, 2026Updated 7 months ago
- Common Lisp style loops in Clojure☆14Sep 10, 2009Updated 17 years ago
- threading macro(s) for transducers / transducers re-imagined as streams☆42Dec 27, 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 2 years ago
- Chronicle Queue library for Clojure☆139Apr 1, 2026Updated 6 months ago
- Tool to simplify workflow with Git-based Clojure dependencies using clojure.tools.deps☆15May 27, 2020Updated 6 years ago
- clojure.spec (spec.alpha) library aiming to be a fundamental tool for analyzing spec errors☆16Jul 12, 2018Updated 8 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.
- A Clojure tool for displaying arbitrary nested data structures using swing.☆26Jul 22, 2018Updated 8 years ago
- A Clojure utility to inspect static types inferred by the Clojure compiler☆24Aug 22, 2023Updated 3 years ago
- Parallel universes for namespaces☆12Nov 2, 2012Updated 13 years ago
- An implementation of Prolog in Clojure☆25Mar 13, 2023Updated 3 years ago
- Property-based testing with inputs defined as EBNF grammars☆30Dec 6, 2024Updated last year
- Org mode driven development examples for Jackdaw library☆12Jun 22, 2020Updated 6 years ago
- ☆603Apr 17, 2021Updated 5 years ago
- A cross-platform bloom filter implemented in Clojure/ClojureScript☆26May 19, 2017Updated 9 years ago
- A complex event processing library for Clojure and ClojureScript.☆103Jan 6, 2018Updated 8 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Data Restructuring DSL in Clojure. You write declarative specifications for complicated data transformations and faconne generates the fu…☆125Apr 21, 2022Updated 4 years ago
- maps, sets and vectors with on-demand secondary indexes.☆83Jul 30, 2026Updated 2 months ago
- Datafiable/Navigable protocol extensions for the core java.time objects☆35Feb 19, 2020Updated 6 years ago
- Function serialization between Clojure processes and dialects☆55May 5, 2020Updated 6 years ago
- Nippy extension to freeze and thaw Clojure functions, including anonymous ones☆54Sep 11, 2023Updated 3 years ago
- making conversation between languages☆22May 5, 2019Updated 7 years ago
- Parinfer implementation in JavaScript☆11Nov 3, 2022Updated 3 years ago