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☆65Updated 10 years ago
- A Clojure library that lets you chain processes and threads via pipes.☆33Updated 9 years ago
- A lite version of clj-http that uses the jre's HttpURLConnection☆42Updated 7 years ago
- A Clojure markdown parsing tool wrapping the java pegdown library. It is designed to convert markdown into clojure data structures, which…☆61Updated last year
- Clojure in-memory database modeled on sets, not tables. Comprehend supports pattern matching, forward matching, rewriting, and transactio…☆73Updated 5 years ago
- The best thing to happen to Clojure since Rich Hickey bought a hammock☆57Updated 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
- Linear Programming library for Clojure☆54Updated 7 years ago
- Good tags for a good day!☆30Updated 8 years ago
- A mailbox based distributed computing library☆83Updated 11 years ago
- Immutable AA Tree☆56Updated 10 years ago
- A persistent confluent map for Clojure☆39Updated 9 years ago
- Bloom Filter implementation in Clojure☆57Updated 2 years ago
- Lint your Clojure programs as they run☆74Updated last year
- Lightweight library to help you write dynamic CLJS webapps☆38Updated 10 years ago
- Clojure data structure manipulation and querying library☆122Updated 4 months ago
- Random Sampling in Clojure☆109Updated 6 years ago
- Like Awk, but Clojure.☆51Updated 10 years ago
- An interactive tracing facility for Clojure☆35Updated 3 years ago
- Tikkba is a Clojure library for the creation and the dynamic modification of SVG documents.☆81Updated 7 years ago
- A library for non-invasive monitoring in Clojure☆20Updated 10 years ago
- A namespace finder library.☆62Updated 6 years ago
- porting clojure.pprint to clojurescript (pretty-printing)☆45Updated 10 years ago
- Basic in-memory graph database of maps with links☆65Updated 9 years ago
- converting one thing into another thing via Clojure.☆89Updated 3 years ago
- Clojure support for java.nio.☆83Updated 10 years ago
- Generate mocks and other test doubles using clojure.spec☆32Updated 6 years ago
- Examples of using Onyx☆52Updated 6 years ago
- Date and time formatting for humans☆25Updated 10 years ago