Pinned Repositories
arduino-SAMD11-joystick
azure-devops-python-api
Azure DevOps Python API
chiso-tex
A program using the Curry-Howard isomorphism to check and produce typeset proofs from a proof term
codeql-coding-standards
This repository contains CodeQL queries and libraries which support various Coding Standards.
demos
Fall-2018-Power-Up
gemma-m0-lightshow
Frequency analyzer based Neopixel lightshow for the Adafruit Gemma M0
gradle
Adaptable, fast automation for all
haskogeneous
A personal web framework in Haskell
rdmarsh2's Repositories
rdmarsh2/haskogeneous
A personal web framework in Haskell
rdmarsh2/arduino-SAMD11-joystick
rdmarsh2/chiso-tex
A program using the Curry-Howard isomorphism to check and produce typeset proofs from a proof term
rdmarsh2/azure-devops-python-api
Azure DevOps Python API
rdmarsh2/codeql-coding-standards
This repository contains CodeQL queries and libraries which support various Coding Standards.
rdmarsh2/demos
rdmarsh2/Fall-2018-Power-Up
rdmarsh2/gemma-m0-lightshow
Frequency analyzer based Neopixel lightshow for the Adafruit Gemma M0
rdmarsh2/gradle
Adaptable, fast automation for all
rdmarsh2/OpenBeam-Tantillus
OpenSCAD files for a tantillus(3d printer) variant using an OpenBeam frame.
rdmarsh2/ql
rdmarsh2/hashconsing
A Rust hashconsing library.
rdmarsh2/Programming-Level-2
rdmarsh2/vscode-codeql
An extension for Visual Studio Code that adds rich language support for CodeQL
rdmarsh2/vscode-codeql-starter
Starter workspace to use with the CodeQL extension for Visual Studio Code.
rdmarsh2/Wolverine-Robotics-Power-Up
Wolverine Robotics Power Up robot code. No stealing ;-)
rdmarsh2/WolverineRoboticsCompetition2019