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:
- Find functions by matching specs☆126Updated 5 years ago
- A Clojure implementation of the Dancing Links algorithm☆74Updated 5 years ago
- Coroutine support for clojure☆236Updated 7 months ago
- Choreographies in Clojure☆76Updated 8 months ago
- Configurable EDN/Clojure parser with location metadata☆181Updated last week
- Wrappers of SWI and TuProlog in Clojure☆49Updated 3 years ago
- Pattern lets you transform data structures in amazing ways.☆148Updated 6 months ago
- Data-first stateful generator for Clojure☆111Updated 6 months ago
- ☆189Updated 5 years ago
- A Clojure interface to the Sat4j satisfaction solver.☆70Updated 2 years ago
- High performance HAMT☆159Updated 3 weeks ago
- Persistent sorted maps and sets with log-time rank queries☆133Updated last month
- Easy language for data☆128Updated last year
- 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.☆128Updated 6 months ago
- Easier-than-print dataflow tracing to tap> and Portal with automatic last-input function replay on eval, instant re-render and effortless…☆104Updated last year
- Weave loom fibers into your Clojure☆245Updated last month
- minikusari is a minimal rules engine built on top of Datascript (and can work with Datomic or Datahike).☆78Updated 3 years ago
- Queues on cue: low-latency persistent blocking queues, processors, and graphs via Chronicle Queue☆104Updated 2 years ago
- A leiningen plugin that lets you share tools.deps.alpha dependencies in your leiningen project☆167Updated 2 years ago
- Take program design oddities in stride with Clojure/ClojureScript☆107Updated 4 years ago
- Clojure.spec coercion library for clj(s)☆126Updated 3 weeks ago
- Blambda! is a custom runtime for AWS Lambda that lets you write functions using Babashka☆86Updated last year
- quickcheck of stateful protocols☆123Updated 5 months ago
- A Clojure library for decoding and encoding strings used by web protocols.☆77Updated 2 months ago
- An extremely lightweight fault tolerance library for Clojure(Script) and Babashka☆176Updated 3 weeks ago
- Stateful generative testing in clojure☆124Updated last year
- In which we deal with exceptions the clojure way☆141Updated 4 months ago
- Efficient, hassle-free function call validation with a concise inline syntax for clojure.spec and Malli☆247Updated 4 months ago
- ☆198Updated last year