Crev proof repository
☆15Sep 11, 2025Updated 7 months ago
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)☆13Updated this week
- Signed code reviews for Python packages.☆26Dec 8, 2022Updated 3 years ago
- My github page☆10Mar 20, 2026Updated 3 weeks ago
- Helper crate to create a Concourse resource in Rust☆12Mar 12, 2024Updated 2 years ago
- Lightweight, event-driven WebSockets for Rust.☆14Oct 28, 2021Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- slide history of past meetup presentations☆15Oct 1, 2025Updated 6 months ago
- Rust LLVM Practises☆17Dec 29, 2020Updated 5 years ago
- ☆17Oct 31, 2021Updated 4 years ago
- web_ical is an esay iCalendar Rust library. It’s goals are to read and write ics web files (Google Calendar, Airbnb Calendar and more) da…☆17Oct 19, 2022Updated 3 years ago
- Let's build a web assembly interpreter!☆15Apr 4, 2020Updated 6 years ago
- A fun example of working with Rust ASTs and syntex_syntax☆19Feb 21, 2018Updated 8 years ago
- Key-value git-like storage with full history backed by RocksDB☆13Aug 18, 2020Updated 5 years ago
- A description and links to the Example-based Procedural Placement algorithm slides and presentation☆13May 18, 2020Updated 5 years ago
- Display newsboat counters in tmux status line.☆16Mar 14, 2022Updated 4 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Effortless AnkiSRS card managment to learn foreign words☆24Mar 25, 2024Updated 2 years ago
- Parity Secret Store implementation☆24Apr 11, 2023Updated 3 years 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…☆13Mar 18, 2026Updated 3 weeks ago
- ☆30Jan 18, 2023Updated 3 years ago
- Research and Code for Erlang Factory 2015 Talk☆10May 4, 2016Updated 9 years ago
- Libhydrogen bindings for Rust.☆18Dec 9, 2024Updated last year
- Compiles a zpaqlpy source file (a Python-subset) to a ZPAQ configuration file for usage with zpaqd☆22Aug 30, 2022Updated 3 years ago
- TU Berlin Module Search☆11Dec 18, 2024Updated last year
- A FOSS License management tool for your projects☆34May 9, 2025Updated 11 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.
- Subset of public audit reports issued by ChainSecurity. For more, please visit:☆29Nov 4, 2023Updated 2 years ago
- URL shortener available as library, microservice (even containerized), aws lambda, and azure function☆32Jun 14, 2023Updated 2 years ago
- 🌳 A sustainable Terraform Package which creates resources for Databases on AWS☆12Apr 1, 2026Updated last week
- ☆14Jul 1, 2025Updated 9 months ago
- ☆42Jun 17, 2022Updated 3 years ago
- simple poll Webxdc, one question, up to 5 answers☆10Jul 5, 2023Updated 2 years ago
- CLI tool to work with Sled key-value databases.☆43Apr 2, 2025Updated last year
- Whapp Web <-> Deltachat bridge☆11Mar 31, 2020Updated 6 years ago
- Generator and supporting evidence for security of the Pluto/Eris half-pairing cycle of elliptic curves☆32Apr 18, 2021Updated 4 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Novel polynomial basis for a reed solomon encoder☆38Feb 5, 2024Updated 2 years ago
- Automatic GitHub Release Notes☆82Mar 22, 2021Updated 5 years ago
- Rust crate to maintain locale preferences for process and thread and initialising them by inspecting the system for user preference.☆16Apr 24, 2024Updated last year
- ☆13Mar 31, 2026Updated last week
- Build directory structure with symbolic links from audio tags☆18Oct 13, 2017Updated 8 years ago
- A simple parser combinator with usable error messages.☆12Nov 30, 2023Updated 2 years ago
- Haskell implementation of the Unicode Collation Algorithm☆17Jan 23, 2025Updated last year