A reference architecture for differential fuzzing using a formally verified oracle
☆33Jan 2, 2026Updated 2 months ago
Alternatives and similar repositories for verified-ledger
Users that are interested in verified-ledger are comparing it to the libraries listed below
Sorting:
- Rust port of the streaming ddelta patch algorithm, based on bsdiff☆12May 2, 2024Updated last year
- Examples and support libraries for the amdgpu Rust target☆17Dec 4, 2025Updated 3 months ago
- Utilities to work with dyn [Async]Fn*☆18Dec 20, 2025Updated 2 months ago
- A toolkit to develop distributed systems☆14Nov 20, 2022Updated 3 years ago
- Efficient reference counted vector data structure is Rust☆18Nov 26, 2025Updated 3 months ago
- Markdown translation tool.☆17Oct 17, 2022Updated 3 years ago
- Some internal rustc tools made accessible☆47Oct 15, 2025Updated 4 months ago
- Exhaustive iteration trait in Rust☆21Updated this week
- Generative arts library in Rust☆22May 21, 2021Updated 4 years ago
- This week in Databend: an elastic and reliable cloud warehouse☆25Mar 6, 2023Updated 3 years ago
- ☆28Dec 29, 2020Updated 5 years ago
- Count directory entries—`ls | wc -l` but faster☆28Dec 20, 2025Updated 2 months ago
- A rust implementation of https://github.com/runevision/LayerProcGen☆28Jul 29, 2025Updated 7 months ago
- Rubik ESP32 esp-idf Device driver library.☆12Jul 3, 2021Updated 4 years ago
- An async version of iterator☆41Jun 11, 2024Updated last year
- Stalloc is a fast first-fit memory allocator that you can use to quickly speed up your Rust programs.☆32Jul 6, 2025Updated 8 months ago
- A radioactive stabilization of the ptr_meta RFC.☆39Sep 29, 2025Updated 5 months ago
- Minimal example using async_graphql, sqlx, warp, and sqlite☆28May 27, 2020Updated 5 years ago
- Verilog code for a low power RFID chip that will communicate with I2C sensors.☆13Apr 18, 2014Updated 11 years ago
- Cycle-accurate 6502 emulator as coroutine in Rust☆57Nov 3, 2025Updated 4 months ago
- High-resolution time-to-digital converter in the Red Pitaya Zynq-7010 SoC☆10Jul 12, 2020Updated 5 years ago
- LC6500DMD python control☆11Nov 15, 2016Updated 9 years ago
- An exploration of Storages☆39Oct 29, 2023Updated 2 years ago
- Rustdoc's JSON output interface☆38Updated this week
- Raft Lite is a very simple and verified implementation of the Raft consensus algorithm.☆47Feb 27, 2024Updated 2 years ago
- Managing Rust dependencies via a dashboard☆50Jul 19, 2023Updated 2 years ago
- ffmpeg strftime with milliseconds support☆10May 28, 2017Updated 8 years ago
- SunFounder FPV Omni Car for Arduino☆14Feb 28, 2025Updated last year
- PostgreSQL code dump from SQL Queries For Mere Mortals 4th Ed☆14Apr 21, 2019Updated 6 years ago
- This library aims to provide implementations of elements commonly used in the development on software in the area of satisfiability solvi…☆54Updated this week
- Code for the paper "Learning noise-induced transitions by multi-scaling reservoir computing" (https://arxiv.org/abs/2309.05413).☆12Mar 20, 2025Updated 11 months ago
- Light Cube using PYNQ☆10Aug 4, 2018Updated 7 years ago
- ☆15Aug 19, 2025Updated 6 months ago
- A parser for PTX 6.5☆13Jun 19, 2023Updated 2 years ago
- A opensource community written by rust☆10Aug 15, 2023Updated 2 years ago
- A Unity project connecting to a local Pozyx MQTT positioning stream.☆10Sep 13, 2019Updated 6 years ago
- The Bitmark Device☆10Oct 13, 2015Updated 10 years ago
- Detect unused pub methods in a Rust workspace☆46Feb 25, 2025Updated last year
- A simplistic framework based on TAO, Facebook's distributed database for social graph☆45Oct 11, 2022Updated 3 years ago