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
- Delimited continuations for Clojure☆215Updated 5 years ago
- A Parser Combinators Library for Clojure☆241Updated 4 years ago
- This is the Toccata compiler and core library. Start here.☆3Updated this week
- A propagator library for Clojure☆166Updated 11 years ago
- RRB-Trees in Clojure☆199Updated 2 months ago
- Functional JVM bytecode generation for Clojure.☆203Updated 6 months ago
- Regexp for sequences!☆243Updated 4 years ago
- Multilenses for Clojure☆150Updated 5 years ago
- Unorthodox control flow, for Clojurists with masochistic sensibilities.☆210Updated 5 months ago
- Union Types (ADTs, sum types) built on clojure.spec☆115Updated 2 years ago
- Persistent sorted maps and sets with log-time rank queries☆133Updated 2 months ago
- A Clojure implementation of the Dancing Links algorithm☆74Updated 6 years ago
- Clojure library defining a schema for edn values☆253Updated 11 months ago
- A Clojure library designed to solve constraint satisfaction problems by using MiniZinc in the background☆74Updated 8 years ago
- simple graph and tree visualization☆452Updated 7 years ago
- Coroutine support for clojure☆236Updated 8 months ago
- Creates Datomic dbs from git repos☆547Updated last year
- Convert REPL interactions into example-based tests.☆259Updated last year
- Clojure implementation of some data structures described in Okasaki's book☆132Updated 7 years ago
- ☆282Updated 10 years ago
- CRDTs in Clojure(Script) with EDN Serialization☆354Updated 4 years ago
- ☆271Updated last month
- Erlang-style supervisor error handling for Clojure☆482Updated 9 years ago
- Clojure library for symbolic computation☆316Updated last year
- LaTTe : a Laboratory for Type Theory experiments (in clojure)☆262Updated 4 months ago
- The J-Bob proof assistant from The Little Prover in Clojure☆61Updated 9 years ago
- Mímir is an experimental rule engine written in Clojure.☆231Updated last year
- A common ground for better Clojure REPLs☆229Updated 6 years ago