Skip to content
@magmide

magmide

Popular repositories Loading

  1. magmide magmide Public

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

    Coq 811 13

  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.

    magmide/magmide’s past year of commit activity
    Coq 811 13 0 0 Updated Apr 1, 2024
  • magmide/purpose-talk’s past year of commit activity
    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…