knossos
Linearizability checker
- Category
- Clojure libraries
Official docs outline
cljdoc.orgExtra Credit builds an outline of knossos's docs the first time your work uses it. Until then, start at the official documentation.
More in Clojure libraries
All 500-
overtone/at-at Ahead-of-time function scheduler.
-
io.forward/yaml A YAML library for Clojure
-
dev.ericdallo/metrepl
-
appliedscience/js-interop
-
fi.metosin/reitit-openapi Reitit: OpenAPI-support
-
tongue DIY i18n library for Clojure/Script
-
riemann-clojure-client Clojure client for the Riemann monitoring system
-
com.climate/claypoole Claypoole: Threadpool tools for Clojure.
-
integrant/repl Reloaded workflow functions for Integrant
-
lein-eftest A fast and pretty Clojure test runner
-
clj-fuzzy A handy collection of algorithms dealing with fuzzy strings and phonetics.
-
kixi/stats A library of statistical distribution sampling and transducing functions