Electrolysis Alternatives

Similar projects and alternatives to electrolysis

prusti-dev

23 1,460 8.8 Rust electrolysis VS prusti-dev

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

22 804 6.9 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

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.
tectonic

22 3,750 9.2 C electrolysis VS tectonic

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

11 1,294 5.5 Rust electrolysis VS Rudra

Rust Memory Safety & Undefined Behavior Detection
winnow

8 394 9.7 Rust electrolysis VS winnow

Making parsing a breeze
line-combination-proofs

1 0 0.0 TeX electrolysis VS line-combination-proofs
fiat

1 145 6.6 Coq electrolysis VS fiat

Mostly Automated Synthesis of Correct-by-Construction Programs
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.
rust-verification-tools

2 241 3.1 Rust electrolysis VS rust-verification-tools

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

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better electrolysis alternative or higher similarity.

Suggest an alternative to electrolysis

electrolysis reviews and mentions

Posts with mentions or reviews of electrolysis. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2023-06-03.

What Vale Taught Me About Linear Types, Borrowing, and Memory Safety
2 projects | news.ycombinator.com | 3 Jun 2023

How do you represent this?
However, this insight holds for relatively common forms of ownership, and you can see this exploited in electrolysis: https://github.com/Kha/electrolysis
Magma, a project I hope will make provably correct software possible for everyone
9 projects | /r/rust | 18 Nov 2021

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.