Electrolysis Alternatives
Similar projects and alternatives to electrolysis
-
-
magmide
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
-
InfluxDB
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.
-
-
prusti-dev
A static verifier for Rust, based on the Viper verification infrastructure.
-
tectonic
A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.
-
rust-verification-tools
RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.
-
SonarLint
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.
electrolysis reviews and mentions
-
Magma, a project I hope will make provably correct software possible for everyone
In my opinion the best way of going about it is translating the Rust to Coq that has the same semantics (but different performance) as pioneered in https://github.com/Kha/electrolysis. Unfortunately that project isn't usable today as it requires an ancient version of Rust and Lean.
Stats
Kha/electrolysis is an open source project licensed under GNU General Public License v3.0 or later which is an OSI approved license.