The FLS
☆488Jun 30, 2026Updated this week
Alternatives and similar repositories for fls
Users that are interested in fls are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Source code of Ferrocene, safety-critical Rust toolchain☆1,641Updated this week
- A precise specification for "Rust lite / MIR plus"☆995Jun 2, 2026Updated last month
- a model of MIR and the Rust type/trait system☆347Jun 26, 2026Updated last week
- Creusot helps you prove your Rust code is correct.☆1,784Updated this week
- Kani Rust Verifier☆3,145Updated this week
- 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.
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,779Jun 26, 2026Updated last week
- libgccjit AOT codegen for rustc☆1,142Updated this week
- Heapless, `static` friendly data structures☆1,985Jun 13, 2026Updated 3 weeks ago
- Defines the Rust borrow checker.☆1,621Jun 6, 2025Updated last year
- An implementation and definition of the Rust trait system using a PROLOG-like logic solver☆2,001Feb 8, 2026Updated 4 months ago
- A lightweight, memory-protected, message-passing kernel for deeply embedded systems.☆3,562Updated this week
- An interpreter for Rust's mid-level intermediate representation☆6,372Updated this week
- Safe Rust bindings to POSIX-ish APIs☆2,024Jun 15, 2026Updated 2 weeks ago
- Rust programs written entirely in Rust☆911Apr 30, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Runtime for executing procedural macros as WebAssembly☆1,509Jun 24, 2026Updated last week
- Hypothesis-like property testing for Rust☆2,180May 27, 2026Updated last month
- A free book about developing secure and robust systems software.☆1,407Jul 6, 2025Updated 11 months ago
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.☆2,886Updated this week
- GCC Front-End for Rust☆2,910Jun 27, 2026Updated last week
- Refinement Types for Rust☆890Updated this week
- Run experiments across parts of the Rust ecosystem!☆750Jun 17, 2026Updated 2 weeks ago
- Tinkering with a more ergonomic cell abstraction☆16May 26, 2019Updated 7 years ago
- Scan your Rust crate for semver violations.☆1,649Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Execute Rust code carefully, with extra checking along the way☆491Apr 1, 2026Updated 3 months ago
- Rust Memory Safety & Undefined Behavior Detection☆1,367Apr 2, 2026Updated 3 months ago
- A next-generation test runner for Rust.☆3,068Updated this week
- A verification toolchain for Rust programs☆829Updated this week
- A small and fast async runtime for Rust☆4,986Jun 27, 2026Updated last week
- The Rust specification☆142Jul 25, 2024Updated last year
- A Rust API search engine☆462Aug 5, 2024Updated last year
- no-std no-alloc Rust protobufs.☆34Jul 15, 2025Updated 11 months ago
- Rust mid-level IR Abstract Interpreter☆1,010Aug 22, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Detects usage of unsafe Rust in a Rust crate and its dependencies.☆1,625Jun 19, 2026Updated 2 weeks ago
- A minimal `syn` syntax tree pretty-printer☆770Jun 24, 2026Updated last week
- Cranelift based backend for rustc☆2,078Jun 24, 2026Updated last week
- Mirror of Rust's allocator api for use on stable rust☆82Dec 11, 2025Updated 6 months ago
- Test harness for ui tests of compiler diagnostics☆970Jun 24, 2026Updated last week
- Concurrency permutation testing tool for Rust.☆2,741Feb 20, 2026Updated 4 months ago
- ☆168Jun 15, 2023Updated 3 years ago