Crev proof repository
☆15Sep 11, 2025Updated last year
Alternatives and similar repositories for crev-proofs
Users that are interested in crev-proofs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A recursive file-system digest (hash)☆12Apr 21, 2026Updated 6 months ago
- Signed code reviews for Python packages.☆27Dec 8, 2022Updated 3 years ago
- ☆14Oct 18, 2026Updated last week
- Helper crate to create a Concourse resource in Rust☆12Mar 12, 2024Updated 2 years ago
- Lightweight, event-driven WebSockets for Rust.☆14Oct 28, 2021Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆17Oct 31, 2021Updated 4 years ago
- Rust LLVM Practises☆17Dec 29, 2020Updated 5 years ago
- slide history of past meetup presentations☆16Oct 1, 2025Updated last year
- Let's build a web assembly interpreter!☆15Apr 4, 2020Updated 6 years ago
- Inserting elements into this map yields a persistent, type-safe Index to that new element.☆13Oct 15, 2018Updated 8 years ago
- A fun example of working with Rust ASTs and syntex_syntax☆20Feb 21, 2018Updated 8 years ago
- Key-value git-like storage with full history backed by RocksDB☆13Aug 18, 2020Updated 6 years ago
- WABT bindings for Rust☆81Feb 28, 2023Updated 3 years ago
- Binaryen bindings for Rust.☆82Apr 13, 2026Updated 6 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Parity Secret Store implementation☆24Oct 20, 2026Updated last week
- Effortless AnkiSRS card managment to learn foreign words☆24Mar 25, 2024Updated 2 years ago
- ☆30Jan 18, 2023Updated 3 years ago
- Libhydrogen bindings for Rust.☆18Sep 25, 2026Updated last month
- opt-in runtime introspection☆12Jul 29, 2022Updated 4 years ago
- URL shortener available as library, microservice (even containerized), aws lambda, and azure function☆32Jun 14, 2023Updated 3 years ago
- Notify devices☆13Aug 1, 2026Updated 2 months ago
- A blazing fast, cross-platform TCP & UDP proxy with automatic DNS re-resolution and a built-in terminal UI config editor. Zero-downtime h…☆16Aug 25, 2026Updated 2 months ago
- ☆42Jun 17, 2022Updated 4 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Fluent method chaining query functionality.☆11Sep 15, 2021Updated 5 years ago
- A FOSS License management tool for your projects☆38Aug 4, 2026Updated 2 months ago
- mail account administration tool for temporary and other account creation/modification☆17Sep 15, 2025Updated last year
- Generator and supporting evidence for security of the Pluto/Eris half-pairing cycle of elliptic curves☆32Apr 18, 2021Updated 5 years ago
- Automatic GitHub Release Notes☆83Mar 22, 2021Updated 5 years ago
- Novel polynomial basis for a reed solomon encoder☆39Oct 23, 2026Updated last week
- A double-ended priority queue implemented with an interval heap.☆17Jul 31, 2017Updated 9 years ago
- Safe wrappers for VFIO☆15Nov 30, 2021Updated 4 years ago
- Pure-Rust libraries for parsing, interpreting, and analyzing LLVM☆84Oct 1, 2026Updated 3 weeks ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- GitHub Actions self-hosted runners infrastructure☆23Aug 1, 2026Updated 2 months ago
- ☆15Oct 8, 2018Updated 8 years ago
- General and shared components and discussions relating to Delta Chat user interface☆15Oct 13, 2026Updated 2 weeks ago
- Display newsboat counters in tmux status line.☆16Mar 14, 2022Updated 4 years ago
- Diagnostics for stable and nightly proc-macros!☆14Sep 26, 2026Updated last month
- Batch import vocabulary from CSV files into the TinyCards application of DuoLingo.☆11Mar 15, 2018Updated 8 years ago
- CLI tool to work with Sled key-value databases.☆43Apr 2, 2025Updated last year