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: about 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. | 47 |
 samebchase/hash-set | An implementation of a data structure providing constant time lookup and insertion operations. | 17 |
 deepak-malik/data-structures-in-java | A collection of Java implementations of various data structures and algorithms used in computer science | 145 |
| coq-community/corn | A comprehensive formalization of mathematical structures and concepts for verified computation in Coq. | 111 |
 ducasse/containers-grid | A data structure package providing an efficient grid data implementation | 3 |
| coq-community/graph-theory | A comprehensive Coq library formalizing various results in graph theory, providing a rigorous foundation for theoretical and applied graph theory research. | 34 |
| 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. | 68 |
 michaeljwelsh/cdsa | A collection of generic, intrusive data structures and algorithms implemented in ANSI C. | 603 |
 clj-commons/ordered | An implementation of ordered data structures in Clojure, preserving the insertion order. | 259 |
 krukow/clj-ds | Provides data structures modified from Clojure to be usable outside of the language in a Java context | 219 |
 utdemir/distributed-dataset | A Haskell-based framework for processing and distributing large datasets across multiple nodes in parallel. | 116 |