Skip to content
View mio-19's full-sized avatar
🤒
cannot afford healthcare
🤒
cannot afford healthcare
145 followers · 180 following

Achievements

Achievement: Galaxy BrainAchievement: Pair ExtraordinaireAchievement: StarstruckAchievement: QuickdrawAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Galaxy BrainAchievement: Pair ExtraordinaireAchievement: StarstruckAchievement: QuickdrawAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Highlights

  • Pro

Organizations

@Akarin-project @cicada-lang @forked-by-mio

Block or report mio-19

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
mio-19/README.md

cannot afford healthcare. the public healthcare covers nothing. the private health insurance in Australia is legally required to cover nothing. Aotearoa has no doctor.

Pinned Loading

  1. aya-prover/aya-dev aya-prover/aya-dev Public

    A proof assistant and a dependently-typed language

    Java 363 21

  2. liamoc/holbert-ng liamoc/holbert-ng Public

    the next generation of the holbert proof assistant

    ReScript 7 3

  3. nurpkgs nurpkgs Public

    Packages packaged by Mio

    Nix 1 3

  4. repo repo Public

    build script for android applications and operating system based on android

    Nix 13 3