Block or report user

Organizations

@GaloisInc

Popular repositories

  1. rate-limit

    A basic rate-limiting library for Haskell

    Haskell 13

  2. eve

    Haskell EVE Online Bindings

    Haskell 7 2

  3. xmonad-log-applet

    An applet that will display xmonad log information

    Shell 6 19

  4. time-units

    A basic library for type-described units of time in Haskell

    Haskell 5 4

  5. bytestring-progress

    A Haskell library for tracking the consumption of lazy ByteStrings

    Haskell 3 2

  6. test-framework-program

    A test-framework plugin that will run executables.

    Haskell 2 1

187 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

April 2017

Created a pull request in matterhorn-chat/matterhorn that received 1 comment

Add a handy command for running matterhorn when built with new-build.

Just a handy script, to go along with new-install.sh and friends.

Created an issue in GaloisInc/HaLVM that received 2 comments

Linux system call census

MUSL defines ~200 system calls that it may invoke. We need to do a census, to determine which of those calls we are or are not going to implement, …

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