Finite State Machine testing with Clojure test.check
☆11Jun 18, 2016Updated 10 years ago
Alternatives and similar repositories for fsm-test-check
Users that are interested in fsm-test-check are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Relational schemas about map keys for malli☆23May 25, 2021Updated 5 years ago
- This repository provides invariant verification in Datalog for immutable databases like Datahike.☆11Jun 7, 2026Updated 5 months ago
- Example of tech.ml.dataset and graalvm reading a CSV and writing Parquet.☆10Apr 12, 2021Updated 5 years ago
- Collection of timeseries technical analysis indicators☆18Dec 28, 2022Updated 3 years ago
- A function like clojure.core/format but with named args.☆13Aug 5, 2018Updated 8 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Generalized IO interface that uses urls and makes doing rapid research easier☆15Apr 19, 2026Updated 6 months ago
- A Clojure library providing client-side implementations of Clojure datastructures served by replicant-server.☆14Jul 15, 2024Updated 2 years ago
- A friendly Clojurescript toolkit☆13Dec 3, 2022Updated 3 years ago
- Clojure client for Kubernetes API☆14Apr 19, 2021Updated 5 years ago
- Server-side rendering example with re-frame, shadow-cljs and Deno☆12Jun 25, 2025Updated last year
- Pure Clojure implementation of the Advanced Encryption Standard (AES) for encryption and decryption using 128, 192, and 256 bit keys base…☆16Feb 8, 2023Updated 3 years ago
- Simple parquet bindings for tech.ml.dataset.☆15Jan 5, 2026Updated 10 months ago
- A Pedestal Interceptor Chain provider for Datomic Ions☆24Apr 2, 2021Updated 5 years ago
- SQL bindings for tech.ml.dataset☆20Mar 12, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A library to interface with STAN.☆17Nov 22, 2018Updated 7 years ago
- A library for generating TS type definitions from malli schemas☆24Nov 5, 2024Updated 2 years ago
- The full IndexedDB API in ClojureScript☆29Apr 8, 2022Updated 4 years ago
- A subscriptions library over a source of data (forked + extracted from re-frame)☆51Apr 28, 2024Updated 2 years ago
- A small library to help writing TLA+ operators in Clojure and converting TLA+ (TLC) values to/from EDN☆16Dec 28, 2025Updated 10 months ago
- quickcheck of stateful protocols☆125Sep 4, 2026Updated 2 months ago
- Faster Clojure Startup with Checkpoint/Restore☆14Aug 4, 2023Updated 3 years ago
- A html->hiccup conversion function in pure CLJC☆53Apr 3, 2022Updated 4 years ago
- Patching micro lib for Clojure☆10Oct 3, 2026Updated last month
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A fully spec-compliant, idiomatic Clojure implementation of Art-Net 4, providing correct DMX512 over IP with deterministic behavior, pred…☆11Apr 9, 2026Updated 6 months ago
- Unification of Directed Acyclic Graphs in Clojure☆21Oct 15, 2026Updated 3 weeks ago
- A light-weight, highly customizable state store for clojure(script)☆20Jun 30, 2026Updated 4 months ago
- Async procedures for Clojure☆13Oct 5, 2022Updated 4 years ago
- Sensible data-driven Ring middleware defaults☆31Sep 8, 2026Updated last month
- Vase Bindings for Elasticsearch☆11Mar 15, 2021Updated 5 years ago
- Simple monte carlo simulation system based on lazy non-caching streams.☆21Apr 28, 2023Updated 3 years ago
- Reimplementation of Java string formatting☆17Sep 22, 2022Updated 4 years ago
- fuzzy filtering of clojure sequences☆21Nov 14, 2017Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Application template for clj-new and Clojure tools deps☆13Feb 5, 2022Updated 4 years ago
- Datahike JDBC data storage backend☆20Jun 1, 2025Updated last year
- A functional behavior tree implementation☆27May 29, 2021Updated 5 years ago
- ☆23Apr 24, 2018Updated 8 years ago
- spec2-inspired selection of Malli-schemas☆39Oct 19, 2026Updated 2 weeks ago
- A clojure CLI build tool, and build library.☆14May 14, 2023Updated 3 years ago
- ☆66Oct 21, 2026Updated 2 weeks ago