Viasat / saltLinks
☆189Updated 5 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)☆138Updated last year
- Clojure(Script) client for Declarative Dataflow.☆330Updated 5 years ago
- A Parser Combinators Library for Clojure☆240Updated 4 years ago
- RRB-Trees in Clojure☆200Updated 3 months ago
- A propagator library for Clojure☆166Updated 11 years ago
- Delimited continuations for Clojure☆215Updated 5 years ago
- Unorthodox control flow, for Clojurists with masochistic sensibilities.☆211Updated 5 months ago
- Regexp for sequences!☆243Updated 4 years ago
- Persistent sorted maps and sets with log-time rank queries☆133Updated 3 months ago
- Functional JVM bytecode generation for Clojure.☆203Updated last week
- A Clojure implementation of the Dancing Links algorithm☆74Updated 6 years ago
- Multilenses for Clojure☆150Updated 5 years ago
- Union Types (ADTs, sum types) built on clojure.spec☆115Updated 2 years ago
- ☆272Updated 2 months ago
- Clojure library defining a schema for edn values☆253Updated this week
- Coroutine support for clojure☆236Updated 9 months 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
- Convert REPL interactions into example-based tests.☆259Updated last year
- Creates Datomic dbs from git repos☆547Updated last year
- simple graph and tree visualization☆452Updated 7 years ago
- Unification library☆151Updated 3 months ago
- Grep Clojure code using clojure.spec regexes☆247Updated last year
- Clojure implementation of some data structures described in Okasaki's book☆132Updated 7 years ago
- A clojuresque key-value/document store protocol with core.async.☆305Updated 4 months ago
- mixfix syntax for clojure☆53Updated 9 years ago
- A literate clojure implementation of microKanren☆68Updated 5 years ago
- Continuation Passing Style macro compiler for Clojure☆60Updated 8 years ago
- ClojureScript on the ESP32 using Espruino☆137Updated 4 years ago
- LaTTe : a Laboratory for Type Theory experiments (in clojure)☆262Updated 5 months ago