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 9 years ago
• zirkonit / dformat
  Date and time formatting for humans
  ☆25Updated 10 years ago
• Raynes / bultitude
  A namespace finder library.
  ☆62Updated 5 years ago
• arrdem / guten-tag
  Good tags for a good day!
  ☆30Updated 7 years ago
• dpom / duckling
  Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings. (a duckling clojure for…
  ☆36Updated 7 years ago
• puredanger / replicant
  Sketching use of clojure socket server for tooling use
  ☆30Updated 9 years ago
• cgrand / confluent-map
  A persistent confluent map for Clojure
  ☆39Updated 9 years ago
• bilus / pipes
  A Clojure library that lets you chain processes and threads via pipes.
  ☆33Updated 9 years ago
• mynomoto / repetition-hunter
  A tool to find repetitions in clojure code.
  ☆58Updated 3 years ago
• dvdt / xvsy
  Grammar of graphics plotting for Clojure
  ☆33Updated 9 years ago
• seancorfield / engine
  A Clojure library to implement a query -> logic -> updates workflow, to separate persistence updates from business logic, to improve test…
  ☆22Updated 8 years ago
• bitemyapp / brambling
  Datomic schema and data migration library/toolkit
  ☆70Updated 11 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 9 months ago
• sanel / lein-codeindex
  Index code using etags, ctags or gtags.
  ☆19Updated 6 years ago
• halgari / com.tbaldridge.hermod
  A mailbox based distributed computing library
  ☆81Updated 11 years ago
• spellhouse / phalanges
  ClojureScript library providing utilities for working with JavaScript KeyboardEvents
  ☆36Updated 10 years ago
• txus / funes
  Infer the general shape of data and produce a schema from it
  ☆17Updated 7 years ago
• webnf / lein-collisions
  A leiningen plugin to find classpath collisions
  ☆24Updated 9 years ago
• datodev / gumshoe
  The best thing to happen to Clojure since Rich Hickey bought a hammock
  ☆57Updated 9 years ago
• jpmonettas / inspectable
  In the spec table
  ☆70Updated 7 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
• frenchy64 / dynalint
  Lint your Clojure programs as they run
  ☆74Updated last year
• GeorgeJahad / difform
  allows you to diff clojure forms
  ☆47Updated 13 years ago
• shaunlebron / cljs-pprint
  porting clojure.pprint to clojurescript (pretty-printing)
  ☆45Updated 9 years ago
• adzerk-oss / boot-bookmarklet
  A Boot task for generating bookmarklets from ClojureScript namespaces
  ☆21Updated 8 years ago
• gfredericks / schema-bijections
  Bijecting prismatic schemas
  ☆36Updated 6 years ago
• benwbooth / quick-clojure
  Run clojure scripts and lein commands quickly using a persistent nREPL session
  ☆47Updated 10 years ago
• levand / prolin
  Linear Programming library for Clojure
  ☆54Updated 7 years ago
• kkinnear / zpst
  Library to show source code and arguments in stack backtraces
  ☆29Updated 6 years ago
• Macroz / tangle
  Tangle - the Clojure library that visualizes your tangle of data with Graphviz.
  ☆59Updated 5 years ago