Alternatives and similar repositories for kripke

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

• clojurewerkz / statistiker
  Minimalistic statistics library for Clojure
  ☆64Updated 10 years ago
• bilus / pipes
  A Clojure library that lets you chain processes and threads via pipes.
  ☆33Updated 9 years ago
• theJohnnyBrown / endophile
  A Clojure markdown parsing tool wrapping the java pegdown library. It is designed to convert markdown into clojure data structures, which…
  ☆61Updated 11 months ago
• jdevuyst / comprehend
  Clojure in-memory database modeled on sets, not tables. Comprehend supports pattern matching, forward matching, rewriting, and transactio…
  ☆73Updated 5 years ago
• levand / prolin
  Linear Programming library for Clojure
  ☆54Updated 7 years ago
• laforge49 / aatree
  Immutable AA Tree
  ☆57Updated 9 years ago
• enaeher / contrail
  An interactive tracing facility for Clojure
  ☆36Updated 2 years ago
• halgari / com.tbaldridge.hermod
  A mailbox based distributed computing library
  ☆81Updated 11 years ago
• wyegelwel / repl-plot
  Library to generate terminal rendered plots
  ☆51Updated 10 years ago
• Raynes / bultitude
  A namespace finder library.
  ☆62Updated 5 years ago
• puredanger / replicant
  Sketching use of clojure socket server for tooling use
  ☆30Updated 9 years ago
• tolitius / inquery
  vanilla SQL with params for Clojure/Script
  ☆17Updated 4 months ago
• benrady / specific
  Generate mocks and other test doubles using clojure.spec
  ☆32Updated 6 years ago
• kyleburton / clj-bloom
  Bloom Filter implementation in Clojure
  ☆58Updated 2 years ago
• cgrand / confluent-map
  A persistent confluent map for Clojure
  ☆39Updated 9 years ago
• pallix / tikkba
  Tikkba is a Clojure library for the creation and the dynamic modification of SVG documents.
  ☆81Updated 6 years ago
• dpom / duckling
  Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings. (a duckling clojure for…
  ☆36Updated 8 years ago
• thi-ng / tweeny
  ☆24Updated 10 years ago
• amalloy / clojopts
  Command-line library for Clojure
  ☆27Updated 8 years ago
• mynomoto / repetition-hunter
  A tool to find repetitions in clojure code.
  ☆58Updated 3 years ago
• hiredman / clj-http-lite
  A lite version of clj-http that uses the jre's HttpURLConnection
  ☆42Updated 7 years ago
• stuartsierra / mapgraph
  Basic in-memory graph database of maps with links
  ☆65Updated 8 years ago
• daveray / clawk
  Like Awk, but Clojure.
  ☆51Updated 10 years ago
• fogus / bacwn
  clojure + datalog = <3
  ☆140Updated 5 years ago
• Factual / clj-leveldb
  Clojure bindings for LevelDB
  ☆74Updated 8 years ago
• pjstadig / nio
  Clojure support for java.nio.
  ☆83Updated 9 years ago
• zirkonit / dformat
  Date and time formatting for humans
  ☆25Updated 10 years ago
• weavejester / inquest
  A library for non-invasive monitoring in Clojure
  ☆20Updated 10 years ago
• zcaudate-me / gita
  moved -> 'lucid.git'
  ☆25Updated 9 years ago
• arrdem / guten-tag
  Good tags for a good day!
  ☆30Updated 7 years ago