Electrolysis Alternatives

Similar projects and alternatives to electrolysis

• Rudra

  1 1,056 8.1 Rust electrolysis VS Rudra

  Rust Memory Safety & Undefined Behavior Detection

  

• fiat

  1 125 6.8 Coq electrolysis VS fiat

  Mostly Automated Synthesis of Correct-by-Construction Programs

  

• OPS

  github.com/nanovms

  sponsored

  OPS - Build and Run Open Source Unikernels. Quickly and easily build and deploy open source unikernels in tens of seconds. Deploy in any language to any cloud.

  

• line-combination-proofs

  1 - - electrolysis VS line-combination-proofs

• tectonic

  1 2,532 9.0 C electrolysis VS tectonic

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

  

• magmide

  2 256 8.6 Coq electrolysis VS magmide

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

  

• prusti-dev

  1 501 9.9 Rust electrolysis VS prusti-dev

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

  

• rust-verification-tools

  1 209 8.1 Rust electrolysis VS rust-verification-tools

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

  

• SonarQube

  www.sonarqube.org

  sponsored

  Static code analysis for 29 languages.. Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.

  

Suggest an alternative to electrolysis