Skip to content
View maxinedeandrade's full-sized avatar
11 followers · 7 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Shark

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Shark

Highlights

  • Pro

Organizations

@OmniCloudOrg

Block or report maxinedeandrade

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse
maxinedeandrade/README.md

Interested in formal verification and low-level programming. Ask me about Type Theory and Category Theory!

Popular repositories Loading

  1. catk catk Public

    C Analysis Toolkit

    Rust 4 1

  2. zettelkasten zettelkasten Public

    Personal digital garden

    Haskell 2

  3. Harbr-Router Harbr-Router Public

    Forked from Harbr-Foundation/Harbr-Router

    A simple lightweight Rust-based http reverse proxy with certificate support!

    Rust 1

  4. ivy ivy Public

    Remote backup and restoration management tool

    Rust 1

  5. udcc udcc Public

    Uncommon Devices C Compiler

    C 1

  6. maxinedeandrade.github.io maxinedeandrade.github.io Public

    JavaScript 1 1