Skip to content
View pedrotst's full-sized avatar

Organizations

@design-patterns-for-humans

Block or report pedrotst

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

Pinned Loading

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

    Formal verification for OCaml

    OCaml 266 21

  2. coquedille Public

    A Coq to Cedille compiler written in Coq

    Coq 34 2

  3. 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 204 12

  4. JVM Public

    An implementation of the Java Virtual Machine v1.8

    HTML 3

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

    Brazilian portuguese translation [WIP]

    248 37

  6. hephaestus-pl/coqffj Public

    Coq 2

140 contributions in the last year

Skip to contributions year list
Contribution Graph
Day of Week August September October November December January February March April May June July
Sunday
Monday
Tuesday
Wednesday
Thursday
Friday
Saturday
Less
No contributions.
Low contributions.
Medium-low contributions.
Medium-high contributions.
High contributions.
More

Activity overview

Loading A graph representing pedrotst's contributions from July 28, 2024 to July 29, 2025. The contributions are 94% commits, 4% issues, 1% code review, 1% pull requests. 1% Code review 4% Issues 1% Pull requests 94% Commits

Contribution activity

July 2025

Created 29 commits in 1 repository
14 contributions in private repositories Jul 10 – Jul 16
Loading