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:
- Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings. (a duckling clojure for…☆36Updated 8 years ago
- 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
- Date and time formatting for humans☆25Updated 10 years ago
- Minimalistic statistics library for Clojure☆64Updated 9 years ago
- A Clojure library that lets you chain processes and threads via pipes.☆33Updated 9 years ago
- A mailbox based distributed computing library☆81Updated 11 years ago
- heterogeneous structs for clojure☆207Updated 8 years ago
- Bijecting prismatic schemas☆35Updated 6 years ago
- A Clojure library to implement a query -> logic -> updates workflow, to separate persistence updates from business logic, to improve test…☆22Updated 8 years ago
- Good tags for a good day!☆30Updated 7 years ago
- A persistent confluent map for Clojure☆39Updated 9 years ago
- A tool to find repetitions in clojure code.☆58Updated 3 years ago
- oh.. these tasty guava multi maps☆25Updated 3 years ago
- Linear Programming library for Clojure☆54Updated 7 years ago
- A pure, deterministic Clojure(Script) runtime for Onyx☆33Updated 5 years ago
- Run clojure scripts and lein commands quickly using a persistent nREPL session☆47Updated 10 years ago
- Painless benchmarking with Leiningen 2☆92Updated 9 years ago
- Reducible stream for decoding data.☆36Updated 6 years ago
- Advanced classloading for clojure.☆94Updated 8 years ago
- A component for running Figwheel☆18Updated 6 years ago
- The best thing to happen to Clojure since Rich Hickey bought a hammock☆57Updated 9 years ago
- A leiningen plugin to find classpath collisions☆24Updated 9 years ago
- Clojure in-memory database modeled on sets, not tables. Comprehend supports pattern matching, forward matching, rewriting, and transactio…☆73Updated 5 years ago
- Index code using etags, ctags or gtags.☆19Updated 6 years ago
- Clojure Data Analysis Shell - interactive data analysis with Clojure from input streams.☆61Updated last year
- DEPRECATED: use funcool/promesa☆18Updated 9 years ago
- An interactive tracing facility for Clojure☆35Updated 2 years ago
- Immutable AA Tree☆57Updated 9 years ago
- ClojureScript library providing utilities for working with JavaScript KeyboardEvents☆36Updated 10 years ago
- ClojureScript console logging macros☆29Updated 9 years ago