pfeodrippe / recifeLinks
A Clojure model checker (using the TLA+/TLC engine)
☆139Updated last year
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☆87Updated last year
- A Clojure interface to the Sat4j satisfaction solver.☆70Updated 3 years ago
- ☆189Updated 6 years ago
- Coroutine support for clojure☆236Updated 11 months ago
- Pattern lets you transform data structures in amazing ways.☆148Updated 3 months ago
- Syntax-aware grep-like for Clojure☆152Updated 2 years ago
- Easy language for data☆128Updated last year
- High performance HAMT☆162Updated last week
- Configurable EDN/Clojure parser with location metadata☆186Updated this week
- minikusari is a minimal rules engine built on top of Datascript (and can work with Datomic or Datahike).☆80Updated 4 years ago
- Data-first stateful generator for Clojure☆113Updated 9 months ago
- Grep Clojure code using clojure.spec regexes☆248Updated 2 years ago
- Weave loom fibers into your Clojure☆248Updated last week
- Union Types (ADTs, sum types) built on clojure.spec☆114Updated 2 years ago
- Persistent sorted maps and sets with log-time rank queries☆134Updated 5 months ago
- Wrappers of SWI and TuProlog in Clojure☆49Updated 3 years ago
- +>, +>>, x>>, =>>: Auto-transducifying, auto-parallelizing path thread macros☆189Updated last year
- 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
- A leiningen plugin that lets you share tools.deps.alpha dependencies in your leiningen project☆167Updated 2 years ago
- FSM library for managing workflows☆94Updated 2 years ago
- Minimalistic finite state machine (FSM) in Clojure☆198Updated last year
- Special (Conditions). A condition system for Clojure☆163Updated 7 years ago
- quickcheck of stateful protocols☆124Updated 9 months ago
- a clojure(script) library that helps you compose web-applications out of declarative data-driven parts☆80Updated 4 months ago
- A project to improve experience of using Clojure stdlib☆172Updated last month
- Blambda! is a custom runtime for AWS Lambda that lets you write functions using Babashka☆92Updated last year
- Take program design oddities in stride with Clojure/ClojureScript☆108Updated 4 years ago
- A Clojure DSL for Kafka Streams☆137Updated 2 years ago