distributed-data-structures
by cmeiklejohn
Distributed Data Structures in Coq
AI summary
Distributed data structures
An implementation of various distributed data structures in Coq, including lattices and Convergent Replicated Data Types.
- stars
- 49
- forks
- 2
- watching
- 5
- awesome lists
- 2
Similar projects
Found by comparing what the projects do, not just their names.
Distributed system framework
A framework for implementing and verifying distributed systems using Coq
Data structure library
A comprehensive library of verified data structures and algorithms in Coq
Data structure library
A collection of reusable data structures and streaming algorithms in Common Lisp.
HashSet
An implementation of the hash-set data structure
Data Structures Library
A collection of Java implementations of various data structures and algorithms used in computer science
Math library
A comprehensive formalization of mathematical structures and concepts for verified computation in Coq.
Grid data structure
A data structure implementation for efficient grid organization of items
Graph formalizer
Formalized graph theory results for research and verification
Distributed store verifier
A framework for verifying causal consistency in distributed key-value stores and their clients using the Coq proof assistant
Math investigations
Investigating various aspects of discrete mathematics and formal proofs in Coq, including ordinal numbers and computability theory.
Data Structures Library
A collection of generic, intrusive data structures and algorithms implemented in ANSI C.
Ordered data structures
An implementation of ordered data structures in Clojure, preserving the insertion order.
Data structure library
A library that adapts Clojure's persistent data structures to work with the Java programming language.
Parallel data processor
A Haskell-based framework for processing and distributing large datasets across multiple nodes in parallel.
Featured in 2 awesome lists
Each link jumps to the spot where the list mentions distributed-data-structures.
