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
  ☆65Updated 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 last year
• wyegelwel / repl-plot
  Library to generate terminal rendered plots
  ☆51Updated 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 5 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
• pallix / tikkba
  Tikkba is a Clojure library for the creation and the dynamic modification of SVG documents.
  ☆81Updated 7 years ago
• zirkonit / dformat
  Date and time formatting for humans
  ☆25Updated 10 years ago
• arrdem / guten-tag
  Good tags for a good day!
  ☆30Updated 7 years ago
• puredanger / replicant
  Sketching use of clojure socket server for tooling use
  ☆30Updated 9 years ago
• bigmlcom / sampling
  Random Sampling in Clojure
  ☆109Updated 6 years ago
• datodev / gumshoe
  The best thing to happen to Clojure since Rich Hickey bought a hammock
  ☆57Updated 9 years ago
• gigasquid / genetic-programming-spec
  Experiment to use genetic programming to generate clojure.spec programs from test data
  ☆42Updated 8 years ago
• levand / prolin
  Linear Programming library for Clojure
  ☆54Updated 7 years ago
• jpmonettas / inspectable
  In the spec table
  ☆70Updated 8 years ago
• ztellman / sleight
  whole-program transformations in clojure
  ☆99Updated 8 years ago
• kyleburton / clj-bloom
  Bloom Filter implementation in Clojure
  ☆57Updated 2 years ago
• antoniogarrote / clj-tesseract
  Clojure wrapper for the Tesseract OCR software
  ☆54Updated 5 years ago
• laforge49 / aatree
  Immutable AA Tree
  ☆57Updated 9 years ago
• onyx-platform / onyx-examples
  Examples of using Onyx
  ☆52Updated 6 years ago
• shaunlebron / cljs-pprint
  porting clojure.pprint to clojurescript (pretty-printing)
  ☆45Updated 10 years ago
• cgrand / confluent-map
  A persistent confluent map for Clojure
  ☆39Updated 9 years ago
• amalloy / clojopts
  Command-line library for Clojure
  ☆27Updated 9 years ago
• bagucode / clj-native
  Clojure library wrapping JNA's direct call mapping
  ☆127Updated 5 years ago
• gigasquid / stanford-talk
  Clojure text parser with annotations using Stanford CoreNLP
  ☆17Updated 10 years ago
• sanel / lein-codeindex
  Index code using etags, ctags or gtags.
  ☆19Updated 6 years ago
• tolitius / multim
  oh.. these tasty guava multi maps
  ☆24Updated 3 years ago
• clojurewerkz / balagan
  Clojure data structure manipulation and querying library
  ☆121Updated last month
• Malabarba / lazy-map-clojure
  Create Clojure maps whose values are only calculated when accessed, either from data or from java objects.
  ☆49Updated 5 years ago