jdevuyst / kripkeLinks
Clojure library for constructing and manipulating sequences of similar structures
☆13Updated 5 years ago
Alternatives and similar repositories for kripke
Users that are interested in kripke are comparing it to the libraries listed below
Sorting:
- Minimalistic statistics library for Clojure☆64Updated 10 years ago
- A Clojure library that lets you chain processes and threads via pipes.☆33Updated 9 years ago
- A Clojure markdown parsing tool wrapping the java pegdown library. It is designed to convert markdown into clojure data structures, which…☆61Updated 10 months ago
- Good tags for a good day!☆30Updated 7 years ago
- Date and time formatting for humans☆25Updated 10 years ago
- Clojure in-memory database modeled on sets, not tables. Comprehend supports pattern matching, forward matching, rewriting, and transactio…☆73Updated 5 years ago
- Immutable AA Tree☆57Updated 9 years ago
- Painless benchmarking with Leiningen 2☆92Updated 9 years ago
- Library to generate terminal rendered plots☆51Updated 10 years ago
- Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings. (a duckling clojure for…☆36Updated 8 years ago
- The best thing to happen to Clojure since Rich Hickey bought a hammock☆57Updated 9 years ago
- A persistent confluent map for Clojure☆39Updated 9 years ago
- whole-program transformations in clojure☆99Updated 8 years ago
- ClojureScript library providing utilities for working with JavaScript KeyboardEvents☆36Updated 10 years ago
- fuzz testing for alternate clojure data structures☆65Updated 8 years ago
- A namespace finder library.☆62Updated 5 years ago
- Run clojure scripts and lein commands quickly using a persistent nREPL session☆47Updated 10 years ago
- efficient small collections for clojure☆180Updated 10 years ago
- Tikkba is a Clojure library for the creation and the dynamic modification of SVG documents.☆81Updated 6 years ago
- Clojure text parser with annotations using Stanford CoreNLP☆17Updated 9 years ago
- allows you to diff clojure forms☆47Updated 13 years ago
- An implementation of Fourier Transforms in pure Clojure☆16Updated 8 years ago
- oh.. these tasty guava multi maps☆25Updated 3 years ago
- Clojure Data Analysis Shell - interactive data analysis with Clojure from input streams.☆61Updated last year
- heterogeneous structs for clojure☆207Updated 8 years ago
- 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
- Generate mocks and other test doubles using clojure.spec☆32Updated 6 years ago
- A tool to find repetitions in clojure code.☆58Updated 3 years ago
- Modern Clojure client for the Stripe API☆38Updated 6 years ago
- Grammar of graphics plotting for Clojure☆33Updated 9 years ago