Skip to content
Avatar
21 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

170 contributions in the last year

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

Contribution activity

January 2022

Created 18 commits in 1 repository

Created a pull request in github/codeql that received 10 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 • 10 comments
Opened 2 other pull requests in 1 repository
Reviewed 6 pull requests in 1 repository

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