Skip to content
View KomaEc's full-sized avatar
14 followers · 6 following

Achievements

Achievement: StarstruckAchievement: Pull SharkAchievement: Arctic Code Vault Contributor

Achievements

Achievement: StarstruckAchievement: Pull SharkAchievement: Arctic Code Vault Contributor

Block or report KomaEc

Report abuse

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

Report abuse

Pinned Loading

  1. crown crown Public

    Ownership analysis that helps translating C to Rust

    Rust 34 8

  2. ContractLens-artifact ContractLens-artifact Public

    Agda