Skip to content
View andrewbutterfield's full-sized avatar
19 followers · 3 following
  • Trinity College Dublin

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault Contributor

Block or report andrewbutterfield

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

Popular repositories Loading

  1. reasonEq reasonEq Public

    Haskell 4 3

  2. RTEMS-SMP-Formal RTEMS-SMP-Formal Public

    Contains formal methods material developed for RTEMS SMP with support from ESA, and subsequent additions by student projects

    C 3 5

  3. readmetest readmetest Public

    2

  4. manual-spin2tests manual-spin2tests Public

    Small example of using Promela/SPIN to generate tests for the RTEMS operating system.

    Python 2 2

  5. UTP2 UTP2 Public

    GUI-driven equational reasoning theorem prover for Unifying Theories of Programming

    Haskell 1

  6. CS4098-2017 CS4098-2017 Public

    TeX 1 1