Skip to content
@magmide

magmide

Popular repositories

  1. magmide magmide Public

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

    Coq 805 14

  2. purpose-talk purpose-talk Public

    TypeScript

Repositories

Showing 2 of 2 repositories
  • magmide Public

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

    Coq 805 14 0 0 Updated Apr 1, 2024
  • purpose-talk Public
    TypeScript 0 0 0 0 Updated Jun 2, 2022

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…