My Path to Magma

• magmide

  22 804 6.9 Coq

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

  

The Magma name requires disambiguation:

His Magma programming language: https://github.com/blainehansen/magma

> The goal of this project is to: create a programming language and surrounding education/tooling ecosystem capable of making formal verification and provably correct software mainstream and normal among working software engineers.

Magma computer algebra system: https://en.wikipedia.org/wiki/Magma_(computer_algebra_system...

> Magma is a computer algebra system designed to solve problems in algebra, number theory, geometry and combinatorics. It is named after the algebraic structure magma. It runs on Unix-like operating systems, as well as Windows.

• magma

  1 4 10.0 Smalltalk

  Multi-user object database (by magma-database)

  

My first thought was the Magma object database https://github.com/magma-database/magma

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

  

Suggest a related project