pfeodrippe / recife
A Clojure model checker (using the TLA+/TLC engine)
☆136Updated 8 months ago
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☆73Updated 5 years ago
- Find functions by matching specs☆125Updated 5 years ago
- Coroutine support for clojure☆233Updated 2 months ago
- Grep Clojure code using clojure.spec regexes☆243Updated last year
- Choreographies in Clojure☆71Updated 2 months ago
- High performance HAMT☆152Updated last month
- +>, +>>, x>>, =>>: Auto-transducifying, auto-parallelizing path thread macros☆182Updated 3 months ago
- Easy language for data☆128Updated 6 months ago
- ☆190Updated 6 months ago
- Seamless JMH benchmarking for Clojure☆133Updated last week
- A Clojure interface to the Sat4j satisfaction solver.☆68Updated 2 years ago
- Pattern lets you transform data structures in amazing ways.☆146Updated 3 weeks ago
- Persistent sorted maps and sets with log-time rank queries☆132Updated 6 months ago
- ☆189Updated 5 years ago
- Syntax-aware grep-like for Clojure☆150Updated last year
- Special (Conditions). A condition system for Clojure☆161Updated 6 years ago
- Configurable EDN/Clojure parser with location metadata☆175Updated this week
- Unofficial community-driven specs for clojure.core☆188Updated 5 years ago
- A data-driven, functionally-oriented, idiomatic Clojure library for circuit breakers, bulkheads, retries, rate limiters, timeouts, etc.☆125Updated 2 weeks ago
- HoneyEQL is a Clojure library enables you to query database using the EDN Query Language.☆207Updated 2 months ago
- A library for handling numbers with units.☆84Updated last month
- Chronicle Queue helpers☆135Updated 3 years ago
- Blambda! is a custom runtime for AWS Lambda that lets you write functions using Babashka☆84Updated 6 months ago
- Lightweight Clojure task scheduler☆240Updated 6 years ago
- Convert REPL interactions into example-based tests.☆260Updated 6 months ago
- Efficient numerics for the jvm☆83Updated 4 years ago
- Minimalistic finite state machine (FSM) in Clojure☆198Updated 11 months ago
- Fast & Non-blocking Clojure wrapper for Undertow☆168Updated last year
- Clojure's syntax-quote reader macro as a normal macro☆212Updated last year
- Safely is a Clojure's circuit-breaker library for handling retries in an elegant declarative way.☆237Updated 2 months ago