Skip to content
Avatar
19 followers · 0 following
  • GitHub Staff

Achievements

Arctic Code Vault Contributor

Achievements

Arctic Code Vault Contributor

Highlights

  • 5 discussions answered

Organizations

@Semmle
Block or Report

Block or report rdmarsh2

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.

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories

  1. haskogeneous Public

    Forked from mmirman/haskogeneous

    A personal web framework in Haskell

    Haskell 2 1

  2. chiso-tex Public

    A program using the Curry-Howard isomorphism to check and produce typeset proofs from a proof term

    Haskell 1 1

  3. OpenBeam-Tantillus Public

    Forked from annzabelle/OpenBeam-Tantillus

    OpenSCAD files for a tantillus(3d printer) variant using an OpenBeam frame.

    OpenSCAD 1

  4. Wolverine-Robotics-Power-Up Public

    Forked from Bellevue-Wolverine-Robotics/Wolverine-Robotics-Power-Up

    Wolverine Robotics Power Up robot code. No stealing ;-)

    Java 1

  5. ql Public

    Forked from github/codeql

    C#

  6. Fall-2018-Power-Up Public

    Forked from Bellevue-Wolverine-Robotics/Fall-2018-Power-Up

    Java 1

151 contributions in the last year

Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Mon Wed Fri
Learn how we count contributions
Less More

Contribution activity

January 2022

Created 1 commit in 1 repository

Created a pull request in github/codeql that received 4 comments

C++: Use Guards library in Overflow.qll

This replaces a partial reimplementation of the Guards library in Overflow.qll with uses of GuardCondition::ensuresLt, which handles cases where th…

+12 −57 • 4 comments
Reviewed 2 pull requests in 1 repository

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