distributed-data-structures
Distributed data structures
An implementation of various distributed data structures in Coq, including lattices and Convergent Replicated Data Types.
Distributed Data Structures in Coq
49 stars
5 watching
2 forks
Language: Coq
last commit: over 11 years ago
Linked from 2 awesome lists
alangibson/awesome-crdt
uhub/awesome-coqRelated projects:
| Repository | Description | Stars |
|---|---|---|
 distributedcomponents/disel | A framework for implementing and verifying distributed systems using Coq | 95 |
 coq-community/fav-ssr | A comprehensive library of verified data structures and algorithms in Coq | 45 |
 sirherrbatka/cl-data-structures | A collection of reusable data structures and streaming algorithms in Common Lisp. | 48 |
 samebchase/hash-set | An implementation of the hash-set data structure | 17 |
 deepak-malik/data-structures-in-java | A collection of Java implementations of various data structures and algorithms used in computer science | 146 |
| coq-community/corn | A comprehensive formalization of mathematical structures and concepts for verified computation in Coq. | 111 |
 ducasse/containers-grid | A data structure implementation for efficient grid organization of items | 3 |
| coq-community/graph-theory | Formalized graph theory results for research and verification | 35 |
| coq-community/chapar | A framework for verifying causal consistency in distributed key-value stores and their clients using the Coq proof assistant | 32 |
| coq-community/hydra-battles | Investigating various aspects of discrete mathematics and formal proofs in Coq, including ordinal numbers and computability theory. | 69 |
 michaeljwelsh/cdsa | A collection of generic, intrusive data structures and algorithms implemented in ANSI C. | 602 |
 clj-commons/ordered | An implementation of ordered data structures in Clojure, preserving the insertion order. | 258 |
 krukow/clj-ds | A library that adapts Clojure's persistent data structures to work with the Java programming language. | 219 |
 utdemir/distributed-dataset | A Haskell-based framework for processing and distributing large datasets across multiple nodes in parallel. | 116 |