esb-lwb / lwbLinks
Logic Workbench, a Clojure toolkit for propositional, predicate and linear temporal logic 
☆25Updated 2 years ago
Alternatives and similar repositories for lwb
Users that are interested in lwb are comparing it to the libraries listed below
Sorting:
- A decompiler for clojure, in clojure☆71Updated 2 years ago
 - Nippy extension to freeze and thaw Clojure functions, including anonymous ones☆54Updated 2 years ago
 - Utilities for managing Datalog rulesets from Clojure☆47Updated 8 years ago
 - Clojure transducers with a more readable interface☆35Updated 9 years ago
 - A Clojure/Script library providing a concise rule definition and query syntax for Datalog☆27Updated 4 years ago
 - A simple, fast, purely functional condition / restart system for Clojure.☆56Updated last year
 - Testing library for clojure.spec fdefs☆52Updated 3 years ago
 - A predicate stack dispatch system for Clojure/Script☆41Updated 2 years ago
 - Byte ropes for clojure and clojurescript.☆54Updated 6 years ago
 - A persistent confluent map for Clojure☆39Updated 9 years ago
 - Generate strings from regular expressions, for use with Clojure test.check and spec☆43Updated last year
 - STM ref types that allow for more concurrency on associative values.☆99Updated 11 years ago
 - A dynamic approach to application components☆66Updated 4 years ago
 - Clojure in-memory database modeled on sets, not tables. Comprehend supports pattern matching, forward matching, rewriting, and transactio…☆73Updated 5 years ago
 - A persistent ring-buffer in Clojure☆97Updated 4 years ago
 - A simple, performance-friendly, generally applicable engine for implementing graph-pulling API servers in Clojure.☆60Updated 7 years ago
 - maps, sets and vectors with on-demand secondary indexes.☆81Updated 5 years ago
 - Fearless recursion in Clojure!☆73Updated 5 years ago
 - A simple multiset/bag implementation for Clojure☆19Updated 5 years ago
 - In the spec table☆70Updated 8 years ago
 - RAII resource management system☆32Updated 6 months ago
 - Provenance system for Clojure code☆29Updated 4 years ago
 - Hot-swap API endpoints and stream processors using Clojure and Dataworks☆63Updated 3 years ago
 - A Clojure validation library to compose predicate functions with expressive failures☆18Updated 9 years ago
 - ☆45Updated 5 years ago
 - ☆16Updated 4 years ago
 - Ctries implemented in Clojure, see Prokopec, Bronson, Bagwell, Odersky☆62Updated 10 years ago
 - Staged compilation for Clojure through environment & special-form aware syntax-quoting.☆81Updated 4 years ago
 - Faster computations with Generative Expressions☆39Updated 5 years ago
 - Generic datalog parser compliant to datomic, datascript and datahike queries.☆71Updated last year