Skip to content
View mattjquinn's full-sized avatar


  • Pro
Block or Report

Block or report mattjquinn

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


  1. jcompiler jcompiler Public

    a compiler for the J programming language

    Rust 32

  2. distsyscoq distsyscoq Public

    low-level distributed systems with Coq


  3. stm32 stm32 Public

    programs for the STM32 microcontroller

    C 1

  4. sqlcoq sqlcoq Public

    modelling SQL relations in Coq


  5. teradata-overlaps-proof teradata-overlaps-proof Public

    Emulatibility Proof for Teradata's OVERLAPS on Google BigQuery


  6. topology topology Public