Magmide Alternatives

Similar projects and alternatives to magmide

• .NET Runtime

  607 14,091 10.0 C# magmide VS .NET Runtime

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

  

• csharplang

  262 10,868 9.6 C# magmide VS csharplang

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

  

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

  

• seL4

  60 4,530 9.0 C magmide VS seL4

  The seL4 microkernel

  

• z3

  28 9,708 9.8 C++ magmide VS z3

  The Z3 Theorem Prover

  

• dafny

  31 2,665 9.7 C# magmide VS dafny

  Dafny is a verification-aware programming language

  

• tectonic

  22 3,750 9.2 C magmide VS tectonic

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

  

• prusti-dev

  23 1,460 8.8 Rust magmide VS prusti-dev

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

  

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

  

• Rudra

  11 1,294 5.5 Rust magmide VS Rudra

  Rust Memory Safety & Undefined Behavior Detection

  

• fleet

  17 2,415 2.9 Rust magmide VS fleet

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

  

• creusot

  15 868 9.6 Rust 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)

  

• flexbugs

  9 13,647 0.0 magmide VS flexbugs

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

• line-combination-proofs

  1 0 0.0 TeX magmide VS line-combination-proofs

• practical-fm

  4 460 4.1 magmide VS practical-fm

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

• flux

  4 548 9.5 Rust magmide VS flux

  Refinement Types for Rust (by flux-rs)

  

• rust-verification-tools

  2 241 3.1 Rust magmide VS rust-verification-tools

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

  

• fiat

  1 145 6.6 Coq magmide VS fiat

  Mostly Automated Synthesis of Correct-by-Construction Programs

  

• electrolysis

  2 322 10.0 Lean magmide VS electrolysis

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

• magma

  1 4 10.0 Smalltalk magmide VS magma

  Multi-user object database (by magma-database)

  

• SaaSHub

  www.saashub.com sponsored

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