Alternatives and similar repositories for salt

Users that are interested in salt are comparing it to the libraries listed below

• pfeodrippe / recife
  A Clojure model checker (using the TLA+/TLC engine)
  ☆138Updated last year
• blancas / kern
  A Parser Combinators Library for Clojure
  ☆241Updated 4 years ago
• swannodette / delimc
  Delimited continuations for Clojure
  ☆215Updated 5 years ago
• sixthnormal / clj-3df
  Clojure(Script) client for Declarative Dataflow.
  ☆331Updated 5 years ago
• clojure / core.rrb-vector
  RRB-Trees in Clojure
  ☆200Updated 4 months ago
• aphyr / dom-top
  Unorthodox control flow, for Clojurists with masochistic sensibilities.
  ☆211Updated 7 months ago
• Engelberg / tarantella
  A Clojure implementation of the Dancing Links algorithm
  ☆74Updated 6 years ago
• clojure / data.avl
  Persistent sorted maps and sets with log-time rank queries
  ☆134Updated 4 months ago
• jgpc42 / insn
  Functional JVM bytecode generation for Clojure.
  ☆205Updated 3 weeks ago
• tgk / propaganda
  A propagator library for Clojure
  ☆166Updated 11 years ago
• lambdaisland / uniontypes
  Union Types (ADTs, sum types) built on clojure.spec
  ☆115Updated 2 years ago
• cgrand / seqexp
  Regexp for sequences!
  ☆243Updated 4 years ago
• leonoel / cloroutine
  Coroutine support for clojure
  ☆237Updated 10 months ago
• ctford / traversy
  Multilenses for Clojure
  ☆150Updated 5 years ago
• Datomic / fressian
  ☆271Updated 3 months ago
• tanders / clojure2minizinc
  A Clojure library designed to solve constraint satisfaction problems by using MiniZinc in the background
  ☆74Updated 9 years ago
• clojure-numerics / expresso
  Clojure library for symbolic computation
  ☆316Updated last year
• miner / herbert
  Clojure library defining a schema for edn values
  ☆253Updated last month
• brandonbloom / metaclj
  Staged compilation for Clojure through environment & special-form aware syntax-quoting.
  ☆81Updated 3 years ago
• latte-central / LaTTe
  LaTTe : a Laboratory for Type Theory experiments (in clojure)
  ☆262Updated 7 months ago
• Datomic / codeq
  Creates Datomic dbs from git repos
  ☆546Updated last year
• jmgimeno / okasaki-clojure
  Clojure implementation of some data structures described in Okasaki's book
  ☆132Updated 7 years ago
• mullr / micrologic
  A literate clojure implementation of microKanren
  ☆68Updated 6 years ago
• cjfrisz / clojure-tco
  Expanding support for constant-space tail calls in the Clojure language.
  ☆174Updated 11 years ago
• clojure / core.unify
  Unification library
  ☆151Updated 4 months ago
• teknql / tapestry
  Weave loom fibers into your Clojure
  ☆247Updated 4 months ago
• juxtin / clj-bob
  The J-Bob proof assistant from The Little Prover in Clojure
  ☆61Updated 9 years ago
• ztellman / rhizome
  simple graph and tree visualization
  ☆452Updated 8 years ago
• ericnormand / hindley-milner
  An implementation of Hindley-Milner in Clojure.
  ☆168Updated 11 years ago
• positronic-solutions / pulley.cps
  Continuation Passing Style macro compiler for Clojure
  ☆60Updated 8 years ago