pfeodrippe / recifeLinks
A Clojure model checker (using the TLA+/TLC engine)
☆143Updated last month
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☆127Updated 6 years ago
- A Clojure implementation of the Dancing Links algorithm☆74Updated 6 years ago
- Coroutine support for clojure☆235Updated last month
- Data-first stateful generator for Clojure☆112Updated last year
- Wrappers of SWI and TuProlog in Clojure☆49Updated 3 years ago
- Choreographies in Clojure☆87Updated last year
- minikusari is a minimal rules engine built on top of Datascript (and can work with Datomic or Datahike).☆83Updated 4 years ago
- Union Types (ADTs, sum types) built on clojure.spec☆115Updated 2 years ago
- Easy language for data☆129Updated last year
- Pattern is an extensible combinator-based pattern match and substitution library. It's amazingly powerful.☆150Updated 7 months ago
- Persistent sorted maps and sets with log-time rank queries☆135Updated last month
- ☆188Updated 6 years ago
- Fearless recursion in Clojure!☆74Updated 5 years ago
- High performance HAMT☆165Updated last week
- Markdown as Clojure Data☆113Updated last year
- Schema Cartographer provides a means to visualize, navigate, create, edit and share the relationships that exist in your Datomic schema.☆159Updated 3 years ago
- Syntax-aware grep-like for Clojure☆152Updated 3 years ago
- Configurable EDN/Clojure parser with location metadata☆194Updated 3 weeks ago
- A Clojure library for decoding and encoding strings used by web protocols.☆78Updated 8 months ago
- Queues on cue: low-latency persistent blocking queues, processors, and graphs via Chronicle Queue☆105Updated 2 years ago
- A Clojure interface to the Sat4j satisfaction solver.☆77Updated 3 years ago
- A Clojure[Script] source code indexer☆124Updated last year
- Clojure.spec coercion library for clj(s)☆127Updated 7 months ago
- A library for handling numbers with units.☆85Updated 3 months ago
- Stateful generative testing in clojure☆126Updated 2 years ago
- +>, +>>, x>>, =>>: Auto-transducifying, auto-parallelizing path thread macros☆191Updated last year
- Blambda! is a custom runtime for AWS Lambda that lets you write functions using Babashka☆93Updated last year
- A leiningen plugin that lets you share tools.deps.alpha dependencies in your leiningen project☆168Updated 3 years ago
- Destructuring plus type hinting for more performant clojure.☆90Updated 5 years ago
- A Clojure Playwright wrapper☆116Updated last month