An implementation of a simple asynchronous message-passing lock server, verified in Coq using the Verdi framework
☆14Oct 23, 2017Updated 8 years ago
Alternatives and similar repositories for verdi-lockserv
Users that are interested in verdi-lockserv are comparing it to the libraries listed below
Sorting:
- Fast Setup for Proof by Reflection, in Two Lines of Ltac.☆14Jan 12, 2021Updated 5 years ago
- Elliptic Curve Diffie Hellman with OpenSSL☆11Sep 10, 2013Updated 12 years ago
- Trusted MQTT messaging.☆10Oct 6, 2017Updated 8 years ago
- Haskell RSA Library☆21Apr 18, 2021Updated 4 years ago
- Bedrock Bit Vector Library☆28Oct 28, 2025Updated 3 months ago
- Public working documents (e.g., Internet drafts)☆26Jun 8, 2018Updated 7 years ago
- Платформа для быстрого оформления списков литературы и поиска источников для научных и учебных работ.☆10Oct 4, 2023Updated 2 years ago
- Virtual Machine built as a CAmkES component.☆24Aug 15, 2025Updated 6 months ago
- A framework for formally verifying distributed systems implementations in Coq☆618Jan 27, 2026Updated last month
- A library providing mechanized proofs of the LibraBFT consensus using the Coq theorem prover☆26May 28, 2020Updated 5 years ago
- A Haskell framework that facilitates writing ABCI applications☆34Jun 5, 2024Updated last year
- DAG-based blockchain☆10Apr 20, 2019Updated 6 years ago
- Pairing cryptography library in Rust☆35Jan 18, 2024Updated 2 years ago
- DCTCP Linux kernel Patch☆42Oct 15, 2020Updated 5 years ago
- Kernel module that makes it possible to create virtual wifi devices each with a virtualized stack.☆11Dec 13, 2011Updated 14 years ago
- This is a hanabi AI bot that can play on http://keldon.net/hanabi/☆11May 29, 2017Updated 8 years ago
- WP6 of the SAFEcrypto project - a suite of lattice-based cryptographic schemes☆38Mar 9, 2023Updated 2 years ago
- DNS resolution via glibc for rust☆11Nov 27, 2025Updated 3 months ago
- ☆13Oct 6, 2020Updated 5 years ago
- This is an implementation of SafeBricks, based on NetBricks maintained by Comcast and refined by Yang: https://github.com/YangZhou1997/Ne…☆10Feb 3, 2020Updated 6 years ago
- ☆10May 30, 2017Updated 8 years ago
- Embed the Power of Lua into NGINX HTTP servers☆11Dec 1, 2015Updated 10 years ago
- ☆13Jan 17, 2022Updated 4 years ago
- Many companies are utilizing the cloud for their day to day activities. Many big cloud service providers like AWS, Microsoft Azure have b…☆11Nov 13, 2022Updated 3 years ago
- My multi-system flake configuration☆12Feb 19, 2026Updated last week
- A script tool for generating figures from experiment results, based on matplotlib☆12May 10, 2019Updated 6 years ago
- MetroHash v1: Exceptionally fast and statistically robust hash functions☆10Apr 10, 2025Updated 10 months ago
- An implementation of the Mixcoin mixing protocol☆13Nov 12, 2014Updated 11 years ago
- USTC OSH 2023 course homepage☆13Jul 27, 2023Updated 2 years ago
- Tiny C library for inter-thread/process communication via channels. Linux-only.☆12Feb 21, 2016Updated 10 years ago
- Slides about the Rust in the blockchain industry☆10Dec 7, 2022Updated 3 years ago
- Another Rust BitTorrent implementation☆14Mar 31, 2024Updated last year
- ☆17Jan 6, 2024Updated 2 years ago
- BOSSA is the programming software used to program SAM-based Arduino boards like Flutter. We added our chip.☆12Mar 17, 2015Updated 10 years ago
- DINAMITE LLVM Pass☆11May 24, 2017Updated 8 years ago
- biRISC-V - 32-bit dual issue RISC-V CPU Software Environment☆15Jun 24, 2021Updated 4 years ago
- This is a repo for hosting the projects in SIGCOMM 2019 Hackathon☆10Jul 14, 2019Updated 6 years ago
- An example of elixir erlport server with python opencv, just a demo, no thumbnail functionalities.☆12Jun 28, 2017Updated 8 years ago
- Библиотека для анализа городских событий☆17Nov 6, 2025Updated 3 months ago