pfeodrippe / recife
A Clojure model checker (using the TLA+/TLC engine)
☆136Updated 6 months ago
Related projects ⓘ
Alternatives and complementary repositories for recife
- A Clojure implementation of the Dancing Links algorithm☆73Updated 5 years ago
- Find functions by matching specs☆125Updated 5 years ago
- +>, +>>, x>>, =>>: Auto-transducifying, auto-parallelizing path thread macros☆180Updated last month
- An idiomatic Clojure API for adding telemetry to your libraries and applications using OpenTelemetry.☆197Updated 4 months ago
- A library for handling numbers with units.☆84Updated 3 weeks ago
- Choreographies in Clojure☆70Updated 3 weeks ago
- Union Types (ADTs, sum types) built on clojure.spec☆114Updated last year
- ☆189Updated 5 years ago
- quickcheck of stateful protocols☆115Updated last month
- Configurable EDN/Clojure parser with location metadata☆174Updated 2 months ago
- Chronicle Queue helpers☆135Updated 3 years ago
- Seamless JMH benchmarking for Clojure☆133Updated 10 months ago
- Snitch injects inline defs in your functions and multimethods. This enables a repl-based, editor-agnostic, clojure and clojurescript …☆149Updated 2 months ago
- Fast & Non-blocking Clojure wrapper for Undertow☆169Updated last year
- Queues on cue: low-latency persistent blocking queues, processors, and graphs via Chronicle Queue☆105Updated last year
- HoneyEQL is a Clojure library enables you to query database using the EDN Query Language.☆206Updated 3 weeks ago
- Coroutine support for clojure☆232Updated this week
- Unofficial community-driven specs for clojure.core☆188Updated 5 years ago
- Efficient numerics for the jvm☆83Updated 4 years ago
- Cognitect's aws-api for babashka☆90Updated 11 months ago
- Reloaded workflow functions for Integrant☆159Updated 3 weeks ago
- A data-driven, functionally-oriented, idiomatic Clojure library for circuit breakers, bulkheads, retries, rate limiters, timeouts, etc.☆122Updated 8 months ago
- Clojure.spec coercion library for clj(s)☆120Updated 9 months ago
- Stateful generative testing in clojure☆122Updated 10 months ago
- A Clojure interface to the Sat4j satisfaction solver.☆68Updated 2 years ago
- Safely is a Clojure's circuit-breaker library for handling retries in an elegant declarative way.☆227Updated 2 weeks ago
- Minimalistic finite state machine (FSM) in Clojure☆197Updated 9 months ago
- Initialize Clojure classes at build time with GraalVM native-image☆130Updated 3 months ago
- Clojure integration testing framework☆137Updated 4 months ago
- A Clojure DSL for Kafka Streams☆138Updated last year