pfeodrippe / recife
A Clojure model checker (using the TLA+/TLC engine)
☆137Updated last year
Alternatives and similar repositories for recife:
Users that are interested in recife are comparing it to the libraries listed below
- A Clojure implementation of the Dancing Links algorithm☆74Updated 5 years ago
- Union Types (ADTs, sum types) built on clojure.spec☆115Updated last year
- ☆188Updated 5 years ago
- Coroutine support for clojure☆235Updated 5 months ago
- High performance HAMT☆159Updated 2 weeks ago
- Find functions by matching specs☆126Updated 5 years ago
- +>, +>>, x>>, =>>: Auto-transducifying, auto-parallelizing path thread macros☆185Updated 6 months ago
- Persistent sorted maps and sets with log-time rank queries☆133Updated 9 months ago
- quickcheck of stateful protocols☆120Updated 3 months ago
- Configurable EDN/Clojure parser with location metadata☆179Updated last week
- Clojure integration testing framework☆137Updated 10 months ago
- An idiomatic Clojure API for adding telemetry to your libraries and applications using OpenTelemetry.☆208Updated last week
- ☆195Updated 9 months ago
- Choreographies in Clojure☆75Updated 6 months ago
- Syntax-aware grep-like for Clojure☆152Updated 2 years ago
- A data-driven, functionally-oriented, idiomatic Clojure library for circuit breakers, bulkheads, retries, rate limiters, timeouts, etc.☆126Updated 4 months ago
- Unofficial community-driven specs for clojure.core☆189Updated 6 years ago
- Queues on cue: low-latency persistent blocking queues, processors, and graphs via Chronicle Queue☆105Updated 2 years ago
- A library for handling numbers with units.☆84Updated last month
- Chronicle Queue helpers☆135Updated 4 years ago
- Fast & Non-blocking Clojure wrapper for Undertow☆169Updated 2 years ago
- Efficient numerics for the jvm☆83Updated 4 years ago
- A project to improve experience of using Clojure stdlib☆118Updated this week
- Blambda! is a custom runtime for AWS Lambda that lets you write functions using Babashka☆85Updated 10 months ago
- A Clojure interface to the Sat4j satisfaction solver.☆70Updated 2 years ago
- FSM library for managing workflows☆93Updated last year
- Take program design oddities in stride with Clojure/ClojureScript☆107Updated 4 years ago
- Efficient, hassle-free function call validation with a concise inline syntax for clojure.spec and Malli☆243Updated last month
- In which we deal with exceptions the clojure way☆138Updated 2 months ago
- Data-first stateful generator for Clojure☆108Updated 3 months ago