pfeodrippe / recifeLinks
A Clojure model checker (using the TLA+/TLC engine)
☆138Updated last year
Alternatives and similar repositories for recife
Users that are interested in recife are comparing it to the libraries listed below
Sorting:
- A Clojure implementation of the Dancing Links algorithm☆74Updated 5 years ago
- Find functions by matching specs☆126Updated 5 years ago
- Coroutine support for clojure☆235Updated 6 months ago
- Persistent sorted maps and sets with log-time rank queries☆133Updated this week
- Union Types (ADTs, sum types) built on clojure.spec☆115Updated last year
- High performance HAMT☆159Updated last month
- +>, +>>, x>>, =>>: Auto-transducifying, auto-parallelizing path thread macros☆185Updated 7 months ago
- Choreographies in Clojure☆76Updated 7 months ago
- Configurable EDN/Clojure parser with location metadata☆180Updated this week
- Pattern lets you transform data structures in amazing ways.☆147Updated 5 months ago
- An extremely lightweight fault tolerance library for Clojure(Script) and Babashka☆172Updated last month
- ☆195Updated 10 months ago
- Easy language for data☆128Updated 10 months ago
- Weave loom fibers into your Clojure☆244Updated this week
- A Clojure interface to the Sat4j satisfaction solver.☆70Updated 2 years ago
- Blambda! is a custom runtime for AWS Lambda that lets you write functions using Babashka☆86Updated 11 months ago
- Chronicle Queue helpers☆134Updated 4 years ago
- A library for handling numbers with units.☆85Updated last week
- A data-driven, functionally-oriented, idiomatic Clojure library for circuit breakers, bulkheads, retries, rate limiters, timeouts, etc.☆127Updated 5 months ago
- Seamless JMH benchmarking for Clojure☆137Updated 4 months ago
- Wrappers of SWI and TuProlog in Clojure☆48Updated 3 years ago
- Functional (and opinionated) errors handling in Clojure☆243Updated 2 months ago
- Clojure integration testing framework☆137Updated 11 months ago
- An idiomatic Clojure API for adding telemetry to your libraries and applications using OpenTelemetry.☆211Updated last week
- Efficient numerics for the jvm☆83Updated 4 years ago
- In which we deal with exceptions the clojure way☆140Updated 2 months ago
- Unofficial community-driven specs for clojure.core☆189Updated 6 years ago
- Easier-than-print dataflow tracing to tap> and Portal with automatic last-input function replay on eval, instant re-render and effortless…☆102Updated last year
- A leiningen plugin that lets you share tools.deps.alpha dependencies in your leiningen project☆167Updated 2 years ago
- Clojure.spec coercion library for clj(s)☆126Updated 2 months ago