pfeodrippe / recifeLinks
A Clojure model checker (using the TLA+/TLC engine)
☆139Updated last week
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 6 years ago
- Find functions by matching specs☆127Updated 6 years ago
- Choreographies in Clojure☆88Updated last year
- Data-first stateful generator for Clojure☆113Updated 10 months ago
- minikusari is a minimal rules engine built on top of Datascript (and can work with Datomic or Datahike).☆81Updated 4 years ago
- Configurable EDN/Clojure parser with location metadata☆191Updated last week
- Easy language for data☆128Updated last year
- High performance HAMT☆162Updated last week
- Pattern is an extensible combinator-based pattern match and substitution library. It's amazingly powerful.☆149Updated 4 months ago
- Syntax-aware grep-like for Clojure☆152Updated 2 years ago
- Easier-than-print dataflow tracing to tap> and Portal with automatic last-input function replay on eval, instant re-render and effortless…☆108Updated last year
- FSM library for managing workflows☆94Updated 2 years ago
- Union Types (ADTs, sum types) built on clojure.spec☆114Updated 2 years ago
- Wrappers of SWI and TuProlog in Clojure☆49Updated 3 years ago
- A Clojure interface to the Sat4j satisfaction solver.☆71Updated 3 years ago
- Queues on cue: low-latency persistent blocking queues, processors, and graphs via Chronicle Queue☆105Updated 2 years ago
- +>, +>>, x>>, =>>: Auto-transducifying, auto-parallelizing path thread macros☆190Updated last year
- Persistent sorted maps and sets with log-time rank queries☆134Updated 5 months ago
- Clojure.spec coercion library for clj(s)☆126Updated 5 months ago
- Markdown as Clojure Data☆113Updated last year
- A library for handling numbers with units.☆85Updated 3 weeks ago
- Coroutine support for clojure☆236Updated last year
- A data-driven, functionally-oriented, idiomatic Clojure library for circuit breakers, bulkheads, retries, rate limiters, timeouts, etc.☆129Updated 10 months ago
- quickcheck of stateful protocols☆123Updated 9 months ago
- Minimalistic finite state machine (FSM) in Clojure☆199Updated last year
- Blambda! is a custom runtime for AWS Lambda that lets you write functions using Babashka☆93Updated last year
- A library of continuation-passing, thunk-producing versions of many Clojure core functions.☆75Updated 3 years ago
- A Clojure[Script] source code indexer☆124Updated last year
- A Clojure library for decoding and encoding strings used by web protocols.☆76Updated 6 months ago
- Efficient numerics for the jvm☆84Updated 5 years ago