Scylla, a tool for translating ultra-regular C code to Safe Rust
☆28Jan 8, 2026Updated 2 months ago
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☆10Feb 25, 2026Updated last week
- ☆16Jan 23, 2026Updated last month
- A Rust doubly-linked intrusive list with Miri tests☆12May 4, 2024Updated last year
- Verify naive = datafrog-opt, in rust/polonius☆15Jun 26, 2025Updated 8 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
- ☆84Jan 22, 2026Updated last month
- 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.☆34Updated this week
- A simple macro to create correct opaque pointers☆21Apr 23, 2021Updated 4 years ago
- A Rust crate that implements "design by contract" via procedural macros☆29Updated this week
- The Pulse separation logic DSL for F*☆35Updated this week
- Bedrock Bit Vector Library☆29Oct 28, 2025Updated 4 months ago
- A formalization of properties of a simple imperative, memory-safe language.☆20Sep 27, 2021Updated 4 years ago
- ☆25Dec 9, 2024Updated last year
- A visual-first, statically typed, pluggable, graph-based programming language☆28Sep 12, 2025Updated 5 months ago
- ☆20Feb 9, 2023Updated 3 years ago
- Count directory entries—`ls | wc -l` but faster☆28Dec 20, 2025Updated 2 months ago
- 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.☆369Updated 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☆588Updated this week
- Example implementation of stack tokens for Rust☆33Nov 23, 2022Updated 3 years ago
- Find deadlocks in Rust code with Petri net model checking☆56Updated this week
- We have Crater At Home☆38Oct 26, 2024Updated last year
- This library aims to provide implementations of elements commonly used in the development on software in the area of satisfiability solvi…☆54Updated this week
- Snakemake workflow for modelling-to-generate-alternatives with PyPSA-Eur☆11Oct 26, 2020Updated 5 years ago
- Time-Causal VAE☆19Nov 8, 2024Updated last year
- Open Cryptanalysis Platform☆13Feb 7, 2026Updated last month
- Verifying the SCION architecture using Gobra☆11Feb 28, 2026Updated last week
- Analyze experimental data with Programming by Navigation☆17Updated this week
- Minecraft Redstone Compiler☆14Feb 9, 2025Updated last year
- Some internal rustc tools made accessible☆47Oct 15, 2025Updated 4 months ago
- Lean4 port of Arduino balance car controller☆50Mar 17, 2021Updated 4 years ago
- DWARF packaging utility, written in Rust, supporting GNU extension and DWARF 5 package formats.☆56Feb 27, 2026Updated last week
- A Ratatui Widget for computing styles in the terminal at runtime using the power of the GPU☆58Mar 11, 2025Updated 11 months ago