Skip to content
View pedrotst's full-sized avatar
196 followers · 421 following

Achievements

Achievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Organizations

@design-patterns-for-humans

Block or report pedrotst

Report abuse

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

Report abuse
pedrotst/README.md

Pinned Loading

  1. formal-land/coq-of-ocaml formal-land/coq-of-ocaml Public

    Formal verification for OCaml

    OCaml 272 20

  2. coquedille coquedille Public

    A Coq to Cedille compiler written in Coq

    Coq 34 2

  3. sifive/Kami sifive/Kami Public

    Kami - a DSL for designing Hardware in Coq, and the associated semantics and theorems for proving its correctness. Kami is inspired by Bluespec. It is actually a complete rewrite of an older versio…

    Coq 216 13

  4. JVM JVM Public

    An implementation of the Java Virtual Machine v1.8

    HTML 3

  5. design-patterns-for-humans/brazilian-portuguese design-patterns-for-humans/brazilian-portuguese Public

    Brazilian portuguese translation [WIP]

    249 38

  6. hephaestus-pl/coqffj hephaestus-pl/coqffj Public

    Coq 2