pfeodrippe / recife
A Clojure model checker (using the TLA+/TLC engine)
☆135Updated 4 months ago
Related projects: ⓘ
- A Clojure implementation of the Dancing Links algorithm☆73Updated 5 years ago
- ☆189Updated 4 years ago
- Weave loom fibers into your Clojure☆224Updated 5 months ago
- Find functions by matching specs☆122Updated 4 years ago
- Coroutine support for clojure☆229Updated 5 months ago
- Configurable EDN/Clojure parser with location metadata☆173Updated 3 weeks ago
- Persistent sorted maps and sets with log-time rank queries☆131Updated 2 months ago
- ☆180Updated 2 months ago
- High performance HAMT☆148Updated 6 months ago
- An idiomatic Clojure API for adding telemetry to your libraries and applications using OpenTelemetry.☆193Updated last month
- Clojure integration testing framework☆137Updated 2 months ago
- Grep Clojure code using clojure.spec regexes☆242Updated 11 months ago
- +>, +>>, x>>, =>>: Auto-transducifying, auto-parallelizing path thread macros☆172Updated 2 years ago
- Syntax-aware grep-like for Clojure☆150Updated last year
- Easy language for data☆128Updated 2 months ago
- Lightweight Clojure task scheduler☆240Updated 5 years ago
- Convert REPL interactions into example-based tests.☆260Updated 2 months ago
- Union Types (ADTs, sum types) built on clojure.spec☆115Updated last year
- Snitch injects inline defs in your functions and multimethods. This enables a repl-based, editor-agnostic, clojure and clojurescript …☆131Updated last week
- Pattern lets you transform data structures in amazing ways.☆115Updated 3 months ago
- HoneyEQL is a Clojure library enables you to query database using the EDN Query Language.☆203Updated last month
- A Clojure interface to the Sat4j satisfaction solver.☆67Updated last year
- A data-driven, functionally-oriented, idiomatic Clojure library for circuit breakers, bulkheads, retries, rate limiters, timeouts, etc.☆121Updated 6 months ago
- A curated list of Clojure resources for dealing with domain-specific languages.☆174Updated last month
- Stateful generative testing in clojure☆122Updated 8 months ago
- Fast & Non-blocking Clojure wrapper for Undertow☆169Updated last year
- Seamless JMH benchmarking for Clojure☆128Updated 8 months ago
- Reloaded workflow functions for Integrant☆157Updated 10 months ago
- Initialize Clojure classes at build time with GraalVM native-image☆128Updated last month
- Unofficial community-driven specs for clojure.core☆187Updated 5 years ago