pfeodrippe / recife
A Clojure model checker (using the TLA+/TLC engine)
☆137Updated 9 months ago
Alternatives and similar repositories for recife:
Users that are interested in recife are comparing it to the libraries listed below
- Find functions by matching specs☆126Updated 5 years ago
- A Clojure implementation of the Dancing Links algorithm☆73Updated 5 years ago
- Coroutine support for clojure☆234Updated 3 months ago
- Pattern lets you transform data structures in amazing ways.☆147Updated 2 months ago
- Persistent sorted maps and sets with log-time rank queries☆132Updated 7 months ago
- A library for handling numbers with units.☆83Updated 2 months ago
- High performance HAMT☆151Updated 2 weeks ago
- minikusari is a minimal rules engine built on top of Datascript (and can work with Datomic or Datahike).☆76Updated 3 years ago
- A Clojure interface to the Sat4j satisfaction solver.☆69Updated 2 years ago
- +>, +>>, x>>, =>>: Auto-transducifying, auto-parallelizing path thread macros☆182Updated 4 months ago
- Data-first stateful generator for Clojure☆100Updated last month
- Queues on cue: low-latency persistent blocking queues, processors, and graphs via Chronicle Queue☆105Updated last year
- Choreographies in Clojure☆72Updated 3 months ago
- Clojure.spec coercion library for clj(s)☆122Updated last month
- Schema Cartographer provides a means to visualize, navigate, create, edit and share the relationships that exist in your Datomic schema.☆154Updated 2 years ago
- Configurable EDN/Clojure parser with location metadata☆175Updated last month
- Clojure integration testing framework☆138Updated 7 months ago
- Unofficial community-driven specs for clojure.core☆188Updated 5 years ago
- Easy language for data☆128Updated 7 months ago
- A Clojure library for decoding and encoding strings used by web protocols.☆76Updated 11 months ago
- Efficient numerics for the jvm☆83Updated 4 years ago
- Union Types (ADTs, sum types) built on clojure.spec☆114Updated last year
- quickcheck of stateful protocols☆118Updated 3 weeks ago
- An idiomatic Clojure API for adding telemetry to your libraries and applications using OpenTelemetry.☆201Updated 6 months ago
- Chronicle Queue helpers☆135Updated 3 years ago
- Seamless JMH benchmarking for Clojure☆135Updated last month
- A data-driven, functionally-oriented, idiomatic Clojure library for circuit breakers, bulkheads, retries, rate limiters, timeouts, etc.☆125Updated last month
- Stateful generative testing in clojure☆124Updated last year
- A Clojure debug repl as nrepl middleware☆101Updated 4 years ago
- A library of continuation-passing, thunk-producing versions of many Clojure core functions.☆75Updated 2 years ago