The first implementation of a fully distributed provably secure and universally verifiable mix-net based on the El Gamal cryptosystem.
☆12Apr 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
- browsing through the looking glass☆10Jul 10, 2023Updated 2 years ago
- ☆12Feb 5, 2026Updated last month
- A useful opinionated repository of Artificial Intelligence ecosystem resources - AI event calendars, papers, books, articles, videos, AI …☆19Mar 1, 2026Updated last week
- Knowledge sharing of AWS (Amazon Web Services) Cloud☆12Jun 7, 2021Updated 4 years ago
- Dev container template for elixir☆10May 9, 2024Updated last year
- Helpers used by help50☆10Jun 15, 2021Updated 4 years ago
- An experimental distributed map reduce system based on Google's MapReduce, written in Rust!☆10Aug 3, 2022Updated 3 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
- 🎵 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 3 months ago
- C.O.R.E. is an all-encompassing cognitive architecture I designed as a system for enabling AI technologies to interact fully as a persona…☆13Feb 18, 2026Updated 2 weeks ago
- template for https://cnli.me☆10Feb 27, 2025Updated last year
- General Use Timeseries Containers for Rust☆11Dec 31, 2020Updated 5 years ago
- ☆11Aug 5, 2020Updated 5 years ago
- 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
- 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
- A collection of outcomes and discoveries from our legal AI research projects☆22Feb 24, 2026Updated last week
- Gobierto Spanish municipalities budgets: data and tools to import it☆11Feb 20, 2026Updated 2 weeks ago
- A math programming language with a built in CAS written in Crystal-lang☆11Mar 26, 2025Updated 11 months ago
- ☆12Oct 21, 2020Updated 5 years ago
- The EM Algorithm for Gaussian Mixtures （高斯混合模型的EM算法实现）☆12Dec 30, 2018Updated 7 years ago
- Contextmap is an interactive developer portal powered by automated documentation.☆13Apr 24, 2024Updated last year
- Clustering and Link Prediction Evaluation in R☆14Sep 23, 2023Updated 2 years 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
- A Rust crate to write toy distributed systems with Maelstrom as Actors.☆11Jan 23, 2022Updated 4 years ago
- Open-source repository for the OOPSLA'24 paper "CYCLE: Learning to Self-Refine Code Generation"☆10Mar 8, 2024Updated 2 years ago
- [ACL 2025] NeuSym-RAG: Hybrid Neural Symbolic Retrieval with Multiview Structuring for PDF Question Answering☆22Jul 29, 2025Updated 7 months ago
- WHISPER is a comprehensive benchmark suite for emerging persistent memory technologies.☆10May 10, 2017Updated 8 years ago
- A Subjective Web-of-Trust for Decentralized Moderation and Peer Review☆13Jan 20, 2024Updated 2 years ago
- Accelerating LLM inference with techniques like speculative decoding, quantization, and kernel fusion, focusing on implementing state-of-…☆11Jul 1, 2025Updated 8 months ago
- Latest PASTE (NSDI'18) repository☆13May 2, 2022Updated 3 years ago
- Early-stage machine learning library in Rust☆10Apr 15, 2021Updated 4 years ago
- ☆12Nov 8, 2024Updated last year
- Symbolic range analysis for LLVM.☆12Jan 10, 2016Updated 10 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…☆10Aug 17, 2025Updated 6 months ago
- Toy approach to VMProtect virtualization☆16Oct 26, 2018Updated 7 years ago
- Crate to interface full H-bridge motor drivers☆11May 16, 2018Updated 7 years ago
- ECC based blind signatures in Rust☆14Jun 20, 2018Updated 7 years ago