The FLS
☆484May 13, 2026Updated last 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,627May 15, 2026Updated last week
- A precise specification for "Rust lite / MIR plus"☆989May 8, 2026Updated 2 weeks ago
- a model of MIR and the Rust type/trait system☆339May 15, 2026Updated last week
- Creusot helps you prove your Rust code is correct.☆1,581May 18, 2026Updated last week
- Documentation, code and information for the Safety Critical Rust Consortium☆156May 13, 2026Updated last week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Kani Rust Verifier☆3,078May 18, 2026Updated last week
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,769May 18, 2026Updated last week
- libgccjit AOT codegen for rustc☆1,122May 10, 2026Updated 2 weeks ago
- Heapless, `static` friendly data structures☆1,960Apr 30, 2026Updated 3 weeks ago
- Defines the Rust borrow checker.☆1,613Jun 6, 2025Updated 11 months ago
- An implementation and definition of the Rust trait system using a PROLOG-like logic solver☆1,997Feb 8, 2026Updated 3 months ago
- A lightweight, memory-protected, message-passing kernel for deeply embedded systems.☆3,514Updated this week
- An interpreter for Rust's mid-level intermediate representation☆6,198May 17, 2026Updated last week
- Safe Rust bindings to POSIX-ish APIs☆1,990Apr 18, 2026Updated last month
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Rust programs written entirely in Rust☆913Apr 30, 2025Updated last year
- Runtime for executing procedural macros as WebAssembly☆1,497Jan 21, 2026Updated 4 months ago
- A free book about developing secure and robust systems software.☆1,402Jul 6, 2025Updated 10 months ago
- Hypothesis-like property testing for Rust☆2,143Apr 30, 2026Updated 3 weeks ago
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.☆2,844May 6, 2026Updated 2 weeks ago
- GCC Front-End for Rust☆2,890Updated this week
- Refinement Types for Rust☆865Updated this week
- Run experiments across parts of the Rust ecosystem!☆741Apr 29, 2026Updated 3 weeks ago
- Tinkering with a more ergonomic cell abstraction☆16May 26, 2019Updated 6 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Scan your Rust crate for semver violations.☆1,620May 18, 2026Updated last week
- Execute Rust code carefully, with extra checking along the way☆487Apr 1, 2026Updated last month
- Rust Memory Safety & Undefined Behavior Detection☆1,369Apr 2, 2026Updated last month
- The Rust specification☆140Jul 25, 2024Updated last year
- A Rust API search engine☆465Aug 5, 2024Updated last year
- no-std no-alloc Rust protobufs.☆34Jul 15, 2025Updated 10 months ago
- Rust mid-level IR Abstract Interpreter☆1,009Aug 22, 2024Updated last year
- A next-generation test runner for Rust.☆2,980May 17, 2026Updated last week
- Detects usage of unsafe Rust in a Rust crate and its dependencies.☆1,578Jan 11, 2026Updated 4 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A minimal `syn` syntax tree pretty-printer☆762Feb 9, 2026Updated 3 months ago
- Cranelift based backend for rustc☆2,051May 11, 2026Updated 2 weeks ago
- Mirror of Rust's allocator api for use on stable rust☆80Dec 11, 2025Updated 5 months ago
- A small and fast async runtime for Rust☆4,940May 13, 2026Updated last week
- Test harness for ui tests of compiler diagnostics☆970Mar 25, 2026Updated 2 months ago
- Concurrency permutation testing tool for Rust.☆2,705Feb 20, 2026Updated 3 months ago
- ☆168Jun 15, 2023Updated 2 years ago