Skip to content
Pro
Block or report user

Report or block dylanmc

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse

Organizations

@GaloisInc
Block or report user

Report or block dylanmc

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse

Popular repositories

  1. Learning Cryptography, math and programming with Cryptol (and maybe some Python)

    Python 79 3

  2. Library for parsing, transforming and producing PDF files

    Haskell 20 5

  3. Forked from kt97679/itsy-linux

    MacOS port of Linux port of itsy forth by John Metcalf

    Assembly 5 3

  4. Oscar Vermeulen's PiDP-8 fork of SIMH

    C 3

  5. Forked from GaloisInc/cryptol

    Cryptol: The Language of Cryptography

    Haskell 2 1

  6. A simple Restaurant time-management game

    Lua 1

39 contributions in the last year

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

Contribution activity

October 2019

Created an issue in riscv/riscv-gnu-toolchain that received 12 comments

make report-linux fails

I'm trying to build the tools according to the instructions on this repo's README.md. My system is an Ubuntu 18.04 VM running under VirtualBox on a…

12 comments

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

You can’t perform that action at this time.