Skip to content
View VictorCMiraldo's full-sized avatar

Highlights

  • Pro

Block or report VictorCMiraldo

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. hdiff hdiff Public

    Hash-based Diffing for AST's

    Haskell 75 3

  2. tweag/pirouette tweag/pirouette Public archive

    Language-generic workbench for building static analysis

    Haskell 47 2

  3. generics-mrsop generics-mrsop Public

    Haskell 21 1

  4. agda-rw agda-rw Public

    This is the place where (more or less) stable releases of my RW library will be published.

    Agda 16

  5. aaosl-agda aaosl-agda Public

    Forked from oracle/aaosl-agda

    Agda 1

  6. tweag/cooked-validators tweag/cooked-validators Public

    Haskell 39 11