Rust-verification-tools Alternatives

Similar projects and alternatives to rust-verification-tools

• gcc

  81 8,704 9.9 C rust-verification-tools VS gcc
  

• magmide

  22 803 6.9 Coq rust-verification-tools VS magmide

  A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

  

• InfluxDB

  www.influxdata.com sponsored

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• prusti-dev

  23 1,459 8.8 Rust rust-verification-tools VS prusti-dev

  A static verifier for Rust, based on the Viper verification infrastructure.

  

• tectonic

  22 3,737 9.2 C rust-verification-tools VS tectonic

  A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.

  

• Rudra

  11 1,293 5.5 Rust rust-verification-tools VS Rudra

  Rust Memory Safety & Undefined Behavior Detection

  

• misra-rust

  8 112 0.0 Rust rust-verification-tools VS misra-rust

  An investigation into what adhering to each MISRA-C rule looks like in Rust. The intention is to decipher how much we "get for free" from the Rust compiler.

  

• creusot

  15 868 9.6 Rust rust-verification-tools VS creusot

  Discontinued Creusot helps you prove your code is correct in an automated fashion. [Moved to: https://github.com/creusot-rs/creusot] (by xldenis)

  

• WorkOS

  workos.com sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

• sdlada

  6 0 8.4 Ada rust-verification-tools VS sdlada

  Ada 2022 bindings to SDL 2

• klee

  4 2,453 8.8 C++ rust-verification-tools VS klee

  KLEE Symbolic Execution Engine

  

• gcc

  7 99 0.0 rust-verification-tools VS gcc

  Official Ada++ repository (by AdaPlusPlus)

• line-combination-proofs

  1 0 0.0 TeX rust-verification-tools VS line-combination-proofs

• advent_of_code

  5 0 0.0 Ada rust-verification-tools VS advent_of_code

  This repository contains solutions to Advent of Code challenges (by joakim-strandberg)

• electrolysis

  2 322 10.0 Lean rust-verification-tools VS electrolysis

  Simple verification of Rust programs via functional purification in Lean 2(!)

• orenda

  4 15 1.7 CMake rust-verification-tools VS orenda

  An experiment in language design and compiler building.

• Welcome

  3 126 1.6 rust-verification-tools VS Welcome

  Welcome to AeroRust- a Rust 🦀 in Aerospace 🚀 community & working group

  

• app-template

  2 287 5.5 Rust rust-verification-tools VS app-template

  Quickly set up a `probe-rs` + `defmt` + `flip-link` embedded project

  

• rubble

  1 388 4.6 Rust rust-verification-tools VS rubble

  Discontinued (going to be a) BLE stack for embedded Rust

• fiat

  1 145 6.6 Coq rust-verification-tools VS fiat

  Mostly Automated Synthesis of Correct-by-Construction Programs

  

• rumble

  1 139 10.0 Rust rust-verification-tools VS rumble

  Rust Bluetooth Low Energy (BLE) central module library (by mwylde)

• whycode

  1 18 7.7 OCaml rust-verification-tools VS whycode

• SaaSHub

  www.saashub.com sponsored

  SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives