verificatum / verificatum-vmnView external linksLinks
The first implementation of a fully distributed provably secure and universally verifiable mix-net based on the El Gamal cryptosystem.
☆13Apr 25, 2024Updated last year
Alternatives and similar repositories for verificatum-vmn
Users that are interested in verificatum-vmn are comparing it to the libraries listed below
Sorting:
- NEWS! We will soon release a TypeScript transpilation and improvement of this library. Self-contained cryptographic library for use in el…☆16Jan 21, 2022Updated 4 years ago
- Generating tests from production workloads http://arxiv.org/pdf/2012.01198☆18Nov 1, 2024Updated last year
- General Use Timeseries Containers for Rust☆11Dec 31, 2020Updated 5 years ago
- ☆11Aug 5, 2020Updated 5 years ago
- An experimental distributed map reduce system based on Google's MapReduce, written in Rust!☆10Aug 3, 2022Updated 3 years ago
- Helpers used by help50☆10Jun 15, 2021Updated 4 years ago
- Analytics tool that applies Natural Language Processing (NLP) and Machine Learning (ML), such as concept extraction, idea classification,…☆10Dec 7, 2022Updated 3 years ago
- Dev container template for elixir☆10May 9, 2024Updated last year
- Knowledge sharing of AWS (Amazon Web Services) Cloud☆12Jun 7, 2021Updated 4 years ago
- browsing through the looking glass☆10Jul 10, 2023Updated 2 years ago
- 🎵 When AI tools vibe together on your PRs. Let CodeRabbit and Claude Code handle the repetitive feedback while you ship features. Built …☆12Nov 24, 2025Updated 2 months ago
- template for https://cnli.me☆10Feb 27, 2025Updated 11 months ago
- ☆12Feb 5, 2026Updated last week
- pixels-to-cloud is a photo-editor app that aims to inspire developers to create high-performance, scalable, distributed systems.☆10Jul 9, 2024Updated last year
- A Subjective Web-of-Trust for Decentralized Moderation and Peer Review☆13Jan 20, 2024Updated 2 years ago
- Clustering and Link Prediction Evaluation in R☆14Sep 23, 2023Updated 2 years ago
- The EM Algorithm for Gaussian Mixtures （高斯混合模型的EM算法实现）☆12Dec 30, 2018Updated 7 years ago
- Control Claude Code remotely from your iPhone anywhere☆24Jul 21, 2025Updated 6 months ago
- Early-stage machine learning library in Rust☆10Apr 15, 2021Updated 4 years ago
- A Rust crate to write toy distributed systems with Maelstrom as Actors.☆11Jan 23, 2022Updated 4 years ago
- WHISPER is a comprehensive benchmark suite for emerging persistent memory technologies.☆10May 10, 2017Updated 8 years ago
- [ACL 2025] NeuSym-RAG: Hybrid Neural Symbolic Retrieval with Multiview Structuring for PDF Question Answering☆22Jul 29, 2025Updated 6 months ago
- Contextmap is an interactive developer portal powered by automated documentation.☆13Apr 24, 2024Updated last year
- ECC based blind signatures in Rust☆14Jun 20, 2018Updated 7 years ago
- 🤖 A list of latest AGI-related repos, resources and courses including LLMs and AI Agents.☆13Sep 24, 2024Updated last year
- Requests And Offers is a hAppenings.community project to facilitate exchange between Holochain creators, developers, advocates, projects …☆11Updated this week
- ColliderVM: Stateful Computation on Bitcoin without Fraud Proofs☆18Jun 5, 2025Updated 8 months ago
- Symbolic range analysis for LLVM.☆12Jan 10, 2016Updated 10 years ago
- Crate to interface full H-bridge motor drivers☆11May 16, 2018Updated 7 years ago
- Latest PASTE (NSDI'18) repository☆13May 2, 2022Updated 3 years ago
- Gobierto Spanish municipalities budgets: data and tools to import it☆11Oct 21, 2025Updated 3 months ago
- A math programming language with a built in CAS written in Crystal-lang☆11Mar 26, 2025Updated 10 months ago
- Toy approach to VMProtect virtualization☆16Oct 26, 2018Updated 7 years ago
- ☆12Nov 8, 2024Updated last year
- Meta's Segment Anything model, ported to Java SE 17 using ONNX☆10Sep 3, 2024Updated last year
- An advanced crypto library for Rust providing implementations for DKG and distributed signature, partial porting of DEDIS kyber library☆12Jun 23, 2023Updated 2 years ago
- Resources for Cyber Security☆11Oct 30, 2018Updated 7 years ago
- Evolution of classic nx technology - FreeNX. All these years, the classic nx was not as dead as it seemed ;) It is used in production an…☆11Aug 17, 2025Updated 5 months ago
- The Alexandria Project is an open-source platform where people can share their knowledge through books, podcasts, docs and videos.☆12Dec 30, 2022Updated 3 years ago