Skip to content
View jkopanski's full-sized avatar
29 followers · 120 following

Achievements

Achievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Achievements

Achievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Organizations

@Perspicuous-Computing

Block or report jkopanski

Report abuse

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

Report abuse

Pinned Loading

  1. cheshire cheshire Public

    Agda 8 3

  2. rtlil-agda rtlil-agda Public

    Yosys RTL Intermediate Language for Agda

    Agda 2