magmide

A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers. (by magmide)
Review Formal Verification Formal Methods type-safety systems-programming Dependent Types Verification Logic coq
Source Code
magmide Reviews
Suggest alternative
Edit details
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

Magmide Alternatives

Similar projects and alternatives to magmide

magmide
magmide

  1. .NET Runtime

    671 magmide VS .NET Runtime

    .NET is a cross-platform runtime for cloud, mobile, desktop, and IoT apps.

  2. SaaSHub

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

    SaaSHub logo

  3. csharplang

    278 magmide VS csharplang

    The official repo for the design of the C# programming language

  4. seL4

    62 magmide VS seL4

    The seL4 microkernel

  5. z3

    31 magmide VS z3

    The Z3 Theorem Prover

  6. dafny

    36 magmide VS dafny

    Dafny is a verification-aware programming language

  7. prusti-dev

    23 magmide VS prusti-dev

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

  8. tectonic

    23 magmide VS tectonic

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

  9. Rudra

    11 magmide VS Rudra

    Rust Memory Safety & Undefined Behavior Detection

  10. fleet

    17 magmide VS fleet

    🚀 The blazing fast build tool for Rust. (by dimensionhq)

  11. creusot

    15 magmide 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)

  12. flexbugs

    9 magmide VS flexbugs

    Discontinued A community-curated list of flexbox issues and cross-browser workarounds for them.

  13. electrolysis

    2 magmide VS electrolysis

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

  14. line-combination-proofs

    1 magmide VS line-combination-proofs

  15. flux

    5 magmide VS flux

    Refinement Types for Rust (by flux-rs)

  16. rust-verification-tools

    2 magmide VS rust-verification-tools

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

  17. practical-fm

    4 magmide VS practical-fm

    A gently curated list of companies using verification formal methods in industry

  18. fiat

    1 magmide VS fiat

    Mostly Automated Synthesis of Correct-by-Construction Programs

  19. magma

    1 magmide VS magma

    Multi-user object database (by magma-database)

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

magmide discussion

Log in or Post with

magmide reviews and mentions

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

Stats

Basic magmide repo stats
22
811
6.6
10 months ago

The primary programming language of magmide is Coq.

Popular Comparisons

  1. magmide VS prusti-dev
  2. magmide VS tectonic
  3. magmide VS Rudra
  4. magmide VS z3
  5. magmide VS electrolysis
  6. magmide VS line-combination-proofs
  7. magmide VS csharplang
  8. magmide VS rust-verification-tools
  9. magmide VS practical-fm
  10. magmide VS fleet

Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com

Did you know that Coq is
the 72nd most popular programming language
based on number of references?

Loading...