Block or report user

Organizations

@GaloisInc @Copilot-Language

Popular repositories

  1. Copilot

    A (Haskell DSL) stream language for generating hard real-time C code.

    Haskell 113 11

  2. SmartCheck

    A Smarter QuickCheck

    TeX 90 4

  3. copilot-language

    Forked from niswegmann/copilot-language

    Haskell 8 4

  4. copilot-discussion

    Forked from niswegmann/copilot-discussion

    TeX 6 3

  5. atom

    Forked from tomahawkins/atom

    A DSL for embedded hard realtime applications.

    Haskell 5 1

  6. copilot-cbmc

    Forked from niswegmann/copilot-cbmc

    cbmc based tool for verifying copilot programs

    Haskell 4 2

304 contributions in the last year

Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Jan Mon Wed Fri

Contribution activity First pull request First issue First repository Joined GitHub

January 2017

Created an issue in GaloisInc/ivory-tower-stm32 that received 2 comments

Circular handlers

Ok, I tracked down the circular handler issue in the I2C driver, but I'm not quite sure how to fix it. The offending channel is from the one sent f…

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