Open-source Verifiable Data Structures Server implementation
☆13Aug 12, 2025Updated 6 months ago
Alternatives and similar repositories for verifiabledatastructures
Users that are interested in verifiabledatastructures are comparing it to the libraries listed below
Sorting:
- Fountain codes implemented in Rust☆17Aug 11, 2020Updated 5 years ago
- some quantile algorithm implementaton for stream data☆12Jul 24, 2018Updated 7 years ago
- Concurrent Log-Structured Memory for Many-Core Key-Value Stores☆36Jul 7, 2020Updated 5 years ago
- A monitor that checks that Certificate Transparency Logs are complying with RFC 6962 and the Chromium Certificate Transparency Log Policy…☆40Mar 15, 2023Updated 2 years ago
- OTP-like supervision trees in Haskell☆62May 21, 2019Updated 6 years ago
- A miniKanren implementation in Rust☆37Mar 8, 2016Updated 9 years ago
- A Rust linear algebra library based on expression templates☆52Jun 13, 2021Updated 4 years ago
- Regular expression derivatives and DFAs☆12Dec 26, 2023Updated 2 years ago
- Basic Chess Implementation in Rust☆10Mar 8, 2015Updated 10 years ago
- Generalised ERC721 Auction House☆12Dec 16, 2021Updated 4 years ago
- Typeset version of Chuck Moore's book: "Programming a Problem-Oriented-Language"☆13Oct 1, 2014Updated 11 years ago
- An SQL interface for AntidoteDB☆13Mar 18, 2018Updated 7 years ago
- EXPERIMENTAL PROTOTYPE code for "Bolt-on Causal Consistency" appearing in SIGMOD 2013☆12Nov 2, 2013Updated 12 years ago
- ☆12Aug 14, 2025Updated 6 months ago
- DebugIt: Use specialization so you can debug-print a value without explicit (and viral) Debug trait bound. (Not really maintained. Uses …☆10Nov 27, 2021Updated 4 years ago
- 🌎 a small server that returns the location of a given IP address☆16Feb 10, 2014Updated 12 years ago
- Like HyperLogLog, but slower 🛶☆10Feb 5, 2020Updated 6 years ago
- Documentation for the Ethereum LLL compiler☆14Jul 15, 2023Updated 2 years ago
- Simple cron command entry parser☆11Apr 16, 2018Updated 7 years ago
- Static analysis toolkit for security analysis in Aleo programs☆10Mar 29, 2024Updated last year
- Shy is a framework automatically generating Object Algebras Queries and Transformations based on generic OA Interfaces.☆11May 7, 2015Updated 10 years ago
- Music Ontology tools and specifications☆13Dec 18, 2011Updated 14 years ago
- Rust declarative static analysis with macro-like syntax☆15Oct 8, 2018Updated 7 years ago
- Guys have you heard of this consensus protocol called raft?☆14Nov 1, 2013Updated 12 years ago
- An async allocator with Fun™️ unsafe Rust☆17Jun 4, 2023Updated 2 years ago
- LaTeX source of journal paper: Martin Kleppmann and Alastair R. Beresford. A Conflict-Free Replicated JSON Datatype. IEEE Transactions on…☆12Aug 15, 2017Updated 8 years ago
- Async readiness traits☆11May 15, 2019Updated 6 years ago
- Extracts data from the Network Rail (NR) National Electronic Sectional Appendix data☆11May 19, 2024Updated last year
- pin-safe interior mutability☆14Jan 30, 2022Updated 4 years ago
- ideally, this will become a pure Haskell library for Linear Integer/Mixed Programming☆16Nov 12, 2018Updated 7 years ago
- ☆14Mar 13, 2024Updated last year
- LibP2P networking library written in Rust☆12Dec 29, 2021Updated 4 years ago
- ☆16Dec 8, 2016Updated 9 years ago
- retrieve github data through haskell functions☆20Oct 9, 2011Updated 14 years ago
- software transactional memory in rust☆14Jul 20, 2021Updated 4 years ago
- An implementation of TinyLFU cache☆15Oct 10, 2022Updated 3 years ago
- BufReader adapter for nom parsers☆11Mar 19, 2023Updated 2 years ago
- A small batch processing utlity☆12Jan 21, 2022Updated 4 years ago
- Experiment data, materials, and analysis scripts for the paper "HindSight: Encouraging Exploration through Direct Encoding of Personal In…☆14Oct 24, 2016Updated 9 years ago