welltyped-systems / verified-ledgerView external linksLinks
A reference architecture for differential fuzzing using a formally verified oracle
☆31Jan 2, 2026Updated last month
Alternatives and similar repositories for verified-ledger
Users that are interested in verified-ledger are comparing it to the libraries listed below
Sorting:
- Examples and support libraries for the amdgpu Rust target☆15Dec 4, 2025Updated 2 months ago
- Rust port of the streaming ddelta patch algorithm, based on bsdiff☆12May 2, 2024Updated last year
- A toolkit to develop distributed systems☆14Nov 20, 2022Updated 3 years ago
- Utilities to work with dyn [Async]Fn*☆18Dec 20, 2025Updated last month
- Efficient reference counted vector data structure is Rust☆18Nov 26, 2025Updated 2 months ago
- Markdown translation tool.☆17Oct 17, 2022Updated 3 years ago
- Some internal rustc tools made accessible☆47Oct 15, 2025Updated 3 months ago
- Exhaustive iteration trait in Rust☆21Feb 1, 2026Updated 2 weeks ago
- This week in Databend: an elastic and reliable cloud warehouse☆25Mar 6, 2023Updated 2 years ago
- Generative arts library in Rust☆22May 21, 2021Updated 4 years ago
- ☆28Dec 29, 2020Updated 5 years ago
- Rubik ESP32 esp-idf Device driver library.☆12Jul 3, 2021Updated 4 years ago
- Count directory entries—`ls | wc -l` but faster☆29Dec 20, 2025Updated last month
- 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 7 months ago
- A radioactive stabilization of the ptr_meta RFC.☆39Sep 29, 2025Updated 4 months ago
- Minimal example using async_graphql, sqlx, warp, and sqlite☆28May 27, 2020Updated 5 years ago
- Cycle-accurate 6502 emulator as coroutine in Rust☆57Nov 3, 2025Updated 3 months ago
- C++ code and MATLAB utilities for loading patterns onto TI DLP Digital Micromirror Device (DMD)☆14Dec 19, 2020Updated 5 years ago
- LC6500DMD python control☆11Nov 15, 2016Updated 9 years ago
- High-resolution time-to-digital converter in the Red Pitaya Zynq-7010 SoC☆10Jul 12, 2020Updated 5 years ago
- Rustdoc's JSON output interface☆38Dec 16, 2025Updated last month
- An exploration of Storages☆39Oct 29, 2023Updated 2 years ago
- Raft Lite is a very simple and verified implementation of the Raft consensus algorithm.☆47Feb 27, 2024Updated last year
- A opensource community written by rust☆10Aug 15, 2023Updated 2 years ago
- DuraCloud open source project☆18Dec 3, 2025Updated 2 months ago
- PostgreSQL code dump from SQL Queries For Mere Mortals 4th Ed☆12Apr 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…☆52Updated this week
- A parser for PTX 6.5☆13Jun 19, 2023Updated 2 years ago
- ffmpeg strftime with milliseconds support☆10May 28, 2017Updated 8 years ago
- Light Cube using PYNQ☆10Aug 4, 2018Updated 7 years ago
- SunFounder FPV Omni Car for Arduino☆14Feb 28, 2025Updated 11 months ago
- ☆13Aug 19, 2025Updated 5 months ago
- A Unity project connecting to a local Pozyx MQTT positioning stream.☆10Sep 13, 2019Updated 6 years ago
- EBAZ4205 Board FPGA project☆14Oct 20, 2023Updated 2 years ago
- Code for the paper "Learning noise-induced transitions by multi-scaling reservoir computing" (https://arxiv.org/abs/2309.05413).☆12Mar 20, 2025Updated 10 months ago
- Detect unused pub methods in a Rust workspace☆45Feb 25, 2025Updated 11 months ago
- A simplistic framework based on TAO, Facebook's distributed database for social graph☆45Oct 11, 2022Updated 3 years ago
- madsim-inspired determinism for turmoil-based simulation tests☆52Jan 2, 2026Updated last month