AeneasVerif / scyllaView external linksLinks
Scylla, a tool for translating ultra-regular C code to Safe Rust
☆28Jan 8, 2026Updated last month
Alternatives and similar repositories for scylla
Users that are interested in scylla are comparing it to the libraries listed below
Sorting:
- The CompCert formally-verified C compiler☆10Updated this week
- ☆16Jan 23, 2026Updated 3 weeks ago
- Verify naive = datafrog-opt, in rust/polonius☆15Jun 26, 2025Updated 7 months ago
- A community preview of ongoing formal verification efforts for Asterinas☆42Updated this week
- A Sobol sequence generator for Rust☆12Feb 14, 2024Updated 2 years ago
- ☆75Jan 22, 2026Updated 3 weeks ago
- Mental model for unsafe in Rust☆18Feb 10, 2025Updated last year
- A framework for extensible, reflective decision procedures.☆19Nov 25, 2019Updated 6 years ago
- Rust macros that produce the name of the function they're invoked within.☆22May 11, 2022Updated 3 years ago
- Finding ownership bugs at scale.☆32Updated this week
- A simple macro to create correct opaque pointers☆21Apr 23, 2021Updated 4 years ago
- The Pulse separation logic DSL for F*☆34Updated this week
- Bedrock Bit Vector Library☆28Oct 28, 2025Updated 3 months ago
- A formalization of properties of a simple imperative, memory-safe language.☆20Sep 27, 2021Updated 4 years ago
- ☆20Feb 9, 2023Updated 3 years ago
- A visual-first, statically typed, pluggable, graph-based programming language☆27Sep 12, 2025Updated 5 months ago
- ☆25Dec 9, 2024Updated last year
- Count directory entries—`ls | wc -l` but faster☆29Dec 20, 2025Updated last month
- Safe Interactions with Foreign Languages through Omniglot☆48Dec 9, 2025Updated 2 months ago
- Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.☆359Updated this week
- Martin-Löf Extensible Specification and Simulator☆29Jul 1, 2015Updated 10 years ago
- Information about verification tools. Browse the data at https://slebok.github.io/proverb/☆31Dec 9, 2023Updated 2 years ago
- A verification toolchain for Rust programs☆567Updated this week
- Example implementation of stack tokens for Rust☆33Nov 23, 2022Updated 3 years ago
- We have Crater At Home☆37Oct 26, 2024Updated last year
- Find deadlocks in Rust code with Petri net model checking☆55Feb 9, 2026Updated last week
- Minecraft Redstone Compiler☆13Feb 9, 2025Updated last year
- This library aims to provide implementations of elements commonly used in the development on software in the area of satisfiability solvi…☆52Updated this week
- Snakemake workflow for modelling-to-generate-alternatives with PyPSA-Eur☆11Oct 26, 2020Updated 5 years ago
- Open Cryptanalysis Platform☆13Feb 7, 2026Updated last week
- Some internal rustc tools made accessible☆47Oct 15, 2025Updated 4 months ago
- DWARF packaging utility, written in Rust, supporting GNU extension and DWARF 5 package formats.☆55Nov 22, 2025Updated 2 months ago
- Lean4 port of Arduino balance car controller☆50Mar 17, 2021Updated 4 years ago
- A Ratatui Widget for computing styles in the terminal at runtime using the power of the GPU☆58Mar 11, 2025Updated 11 months ago
- ☆55Aug 16, 2025Updated 5 months ago
- Sound unchecked indexing using “generativity”; a type system approach to indices, pointers and ranges that are trusted to be in bounds.☆105Sep 11, 2019Updated 6 years ago
- Custom formatting for Rust.☆10Nov 21, 2025Updated 2 months ago
- Bertie TLS 1.3 Implementation☆129Oct 9, 2025Updated 4 months ago
- Julia API for MLX☆14Dec 3, 2025Updated 2 months ago