Electrolysis Alternatives

Similar projects and alternatives to electrolysis

• Rudra

  1 1,174 0.0 Rust electrolysis VS Rudra

  Rust Memory Safety & Undefined Behavior Detection

  

• magmide

  2 712 7.0 Coq electrolysis 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

  Build time-series-based applications quickly and at scale.. InfluxDB is the Time Series Platform where developers build real-time applications for analytics, IoT and cloud-native services. Easy to start, it is available in the cloud or on-premises.

  

• line-combination-proofs

  1 0 8.1 TeX electrolysis VS line-combination-proofs

• fiat

  1 139 7.2 Coq electrolysis VS fiat

  Mostly Automated Synthesis of Correct-by-Construction Programs

  

• prusti-dev

  1 1,202 9.6 Rust electrolysis VS prusti-dev

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

  

• tectonic

  1 3,041 7.7 C electrolysis VS tectonic

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

  

• rust-verification-tools

  1 241 3.1 Rust electrolysis VS rust-verification-tools

  RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.

  

• SonarLint

  www.sonarlint.org

  sponsored

  Clean code begins in your IDE with SonarLint. Up your coding game and discover issues early. SonarLint is a free plugin that helps you find & fix bugs and security issues from the moment you start writing code. Install from your favorite IDE marketplace today.