Alternatives and similar repositories for kripke

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

• bilus / pipes
  A Clojure library that lets you chain processes and threads via pipes.
  ☆33Updated 9 years ago
• clojurewerkz / statistiker
  Minimalistic statistics library for Clojure
  ☆65Updated 10 years ago
• wyegelwel / repl-plot
  Library to generate terminal rendered plots
  ☆51Updated 10 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 last year
• arrdem / guten-tag
  Good tags for a good day!
  ☆30Updated 7 years ago
• zirkonit / dformat
  Date and time formatting for humans
  ☆25Updated 10 years 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
• Raynes / bultitude
  A namespace finder library.
  ☆62Updated 6 years ago
• clojurewerkz / balagan
  Clojure data structure manipulation and querying library
  ☆121Updated 2 months ago
• damionjunk / damionjunk.nlp
  A library to make use of Java NLP libraries like Stanford's CoreNLP and CMU's ark-tweet-nlp in Clojure
  ☆37Updated 10 years ago
• datodev / gumshoe
  The best thing to happen to Clojure since Rich Hickey bought a hammock
  ☆57Updated 9 years ago
• shaunlebron / cljs-pprint
  porting clojure.pprint to clojurescript (pretty-printing)
  ☆45Updated 10 years ago
• dvdt / gyptis
  A library for generating and viewing vega.js plots from clojure
  ☆64Updated 9 years ago
• thi-ng / tweeny
  ☆24Updated 10 years ago
• dvdt / xvsy
  Grammar of graphics plotting for Clojure
  ☆33Updated 10 years ago
• dmillett / clash
  Clojure Data Analysis Shell - interactive data analysis with Clojure from input streams.
  ☆61Updated last year
• laforge49 / aatree
  Immutable AA Tree
  ☆57Updated 9 years ago
• bigmlcom / sampling
  Random Sampling in Clojure
  ☆109Updated 6 years ago
• clojurewerkz / elephant
  Modern Clojure client for the Stripe API
  ☆38Updated 6 years ago
• whilo / boltzmann
  Boltzmann energy-based deep learning techniques.
  ☆66Updated 10 years ago
• tolitius / multim
  oh.. these tasty guava multi maps
  ☆24Updated 3 years ago
• fogus / bacwn
  clojure + datalog = <3
  ☆141Updated 5 years ago
• Macroz / tangle
  Tangle - the Clojure library that visualizes your tangle of data with Graphviz.
  ☆59Updated 5 years ago
• levand / prolin
  Linear Programming library for Clojure
  ☆54Updated 7 years ago
• webnf / lein-collisions
  A leiningen plugin to find classpath collisions
  ☆24Updated 10 years ago
• juxt / pull
  Trees from tables
  ☆98Updated 5 years ago
• tolitius / calip
  calip(er): all functions deserve to be measured and debugged at runtime
  ☆78Updated 8 months ago
• pallix / tikkba
  Tikkba is a Clojure library for the creation and the dynamic modification of SVG documents.
  ☆81Updated 7 years ago
• cgrand / confluent-map
  A persistent confluent map for Clojure
  ☆39Updated 9 years ago
• tailrecursion / boot-datomic
  run the datomic transactor embedded in a boot pod
  ☆16Updated 7 years ago