Block or report user

Report or block pascalpoizat

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse



Pinned repositories

  1. fbpmn

    🔬 formal tools for BPMN


  2. veca-web

    🔬 verification of component architectures

  3. vbpmn-web

    🔬 verification of bpmn

    2 1

  4. verchor-web

    🔬 verification of choreographies

    1 1

  5. template-haskell-project

    🎓 template for haskell projects

    Haskell 3

  6. template-java-project

    🎓 template for java projects

    Java 3 11

568 contributions in the last year

Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Mon Wed Fri
Activity overview
Contributed to pascalpoizat/veca-ide, pascalpoizat/idris-book, pascalpoizat/veca-haskell and 5 other repositories

Contribution activity

December 2018

pascalpoizat has no activity yet for this period.

November 2018

2 contributions in private repositories Nov 15 – Nov 16

Seeing something unexpected? Take a look at the GitHub profile guide.