Viasat / saltLinks
☆188Updated 6 years ago
Alternatives and similar repositories for salt
Users that are interested in salt are comparing it to the libraries listed below
Sorting:
- A Clojure model checker (using the TLA+/TLC engine)☆139Updated last month
- Clojure(Script) client for Declarative Dataflow.☆332Updated 6 years ago
- RRB-Trees in Clojure☆200Updated 6 months ago
- Delimited continuations for Clojure☆214Updated 5 years ago
- A propagator library for Clojure☆167Updated 11 years ago
- A Parser Combinators Library for Clojure☆241Updated 4 years ago
- A Clojure implementation of the Dancing Links algorithm☆74Updated 6 years ago
- Functional JVM bytecode generation for Clojure.☆205Updated 2 months ago
- Persistent sorted maps and sets with log-time rank queries☆135Updated 6 months ago
- Unorthodox control flow, for Clojurists with masochistic sensibilities.☆213Updated last week
- Clojure library defining a schema for edn values☆253Updated 3 months ago
- Union Types (ADTs, sum types) built on clojure.spec☆115Updated 2 years ago
- ☆271Updated 5 months ago
- Clojure implementation of some data structures described in Okasaki's book☆132Updated 7 years ago
- Staged compilation for Clojure through environment & special-form aware syntax-quoting.☆81Updated 4 years ago
- Multilenses for Clojure☆150Updated 6 years ago
- Clojure parser combinators☆232Updated 4 years ago
- A literate clojure implementation of microKanren☆68Updated 6 years ago
- Regexp for sequences!☆245Updated 5 years ago
- Clojure library for symbolic computation☆316Updated last year
- A Clojure library designed to solve constraint satisfaction problems by using MiniZinc in the background☆74Updated 9 years ago
- Mímir is an experimental rule engine written in Clojure.☆231Updated last year
- Coroutine support for clojure☆237Updated last year
- LaTTe : a Laboratory for Type Theory experiments (in clojure)☆265Updated 9 months ago
- Convert REPL interactions into example-based tests.☆261Updated last year
- Continuation Passing Style macro compiler for Clojure☆60Updated 8 years ago
- The J-Bob proof assistant from The Little Prover in Clojure☆61Updated 10 years ago
- A common ground for better Clojure REPLs☆228Updated 6 years ago
- Expanding support for constant-space tail calls in the Clojure language.☆173Updated 12 years ago
- Unification library☆151Updated 6 months ago