trvedata / crdt-isabelleView external linksLinks
Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford. Verifying Strong Eventual Consistency in Distributed Systems. In OOPSLA and Proceedings of the ACM on Programming Languages (PACMPL), 2017.
☆75Dec 18, 2022Updated 3 years ago
Alternatives and similar repositories for crdt-isabelle
Users that are interested in crdt-isabelle are comparing it to the libraries listed below
Sorting:
- ☆14Apr 3, 2019Updated 6 years ago
- A library to transform your REPL interation into Pathom queries☆14Jul 10, 2021Updated 4 years ago
- Clojure library for parsing and seamless working with native C structs/structured byte buffers☆14May 26, 2015Updated 10 years ago
- WIP clojure bindings for tree-sitter☆12Apr 28, 2025Updated 9 months ago
- ☆11Sep 22, 2017Updated 8 years ago
- Explorations into specification-as-a-value☆42Mar 15, 2013Updated 12 years ago
- Interval Treeset based on finger trees☆11Oct 28, 2020Updated 5 years ago
- Clojure implementation of Godot engine tutorial☆38May 11, 2022Updated 3 years ago
- Lock-free (Non-blocking) Data Structures in Java☆13Dec 30, 2015Updated 10 years ago
- Create gifs in clojure!☆11Jan 23, 2024Updated 2 years ago
- Integrating the CAP theorem into distributed language design.☆13Nov 21, 2018Updated 7 years ago
- Search and replace in HTML5 strings.☆12Nov 21, 2023Updated 2 years ago
- Presentations without slides☆25Oct 19, 2024Updated last year
- Halite provides a LISP-like constraint expression language built on top of open source formal modelling tools such as the Choco constrain…☆11Sep 27, 2023Updated 2 years ago
- Distributed process groups with riak_core.☆72May 22, 2019Updated 6 years ago
- Learning [Lamport's TLA+](http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html).☆13Feb 16, 2022Updated 4 years ago
- An android application that notifies and guides qualified users to provide medical assistance in the area.☆10Jun 13, 2022Updated 3 years ago
- ☆13Nov 10, 2024Updated last year
- Running CRDT experiments on top of https://github.com/vitorenesduarte/ldb☆15Apr 3, 2021Updated 4 years ago
- Lasertag is a utility library for categorizing values in Clojure, ClojureScript, and Babashka☆17Jan 24, 2026Updated 3 weeks ago
- Javadocs in your REPL☆37Updated this week
- A distributed database service for the Concordant platform.☆13Sep 17, 2022Updated 3 years ago
- Administration UI for Datascript, Datahike, and other Datalog databases☆56Oct 12, 2021Updated 4 years ago
- TLA+ Foundation☆32Nov 24, 2025Updated 2 months ago
- A Clojure/Script library providing a concise rule definition and query syntax for Datalog☆27Sep 24, 2021Updated 4 years ago
- framework for evaluating (planet-scale) consensus protocols☆130Mar 1, 2024Updated last year
- ☆32Oct 18, 2021Updated 4 years ago
- Datomic Datalog parser in Clojure with malli☆15Sep 24, 2022Updated 3 years ago
- A Solid Modeling Library☆15Nov 29, 2025Updated 2 months ago
- Things wanted or needed but missing from clojure.core☆19Aug 9, 2025Updated 6 months ago
- Test your concurrent thoughts, don't let it be a nightmare☆13Nov 5, 2021Updated 4 years ago
- Clojure RPC with one line of code.☆12Aug 25, 2020Updated 5 years ago
- A desktop viewer for clerk.☆13Oct 12, 2022Updated 3 years ago
- Port of Tailwind CSS library to Garden format in Clojure☆55Apr 9, 2021Updated 4 years ago
- ☆44Jan 30, 2021Updated 5 years ago
- A native Specter CLI, compiled with GraalVM native-image and executed by SCI.☆35Jul 3, 2021Updated 4 years ago
- Source of my personal blog, using Markdown, Jekyll and Heroku☆14Updated this week
- A Clojure library providing client-side implementations of Clojure datastructures served by replicant-server.☆14Jul 15, 2024Updated last year
- Code for Clojure Conj 2015 talk☆37Sep 29, 2016Updated 9 years ago