robbiemckinstry Goto Github PK

447-lab1

Completion of the first lab for CS 447

acheron

A simple SAT solver

advent-of-code

advent-of-code-2019

agent

airport-simulation

Homework 4 of Pitt's CS 1538 Introduction to Simulation

algodesign

Homework write-ups for CS 1510 Algorithm Design at the University of Pittsburgh

analysispresentation

bibliographies

List of .bib files for projects I'm working on

blockchain_simulation

cargo-make

Rust task runner and build tool.

codecov-action

GitHub Action that uploads coverage to Codecov :open_umbrella:

colorformatter

colorformatter for Logrus -- like TextFormatter, but color indicates log level, no timestamps

compiler-patterns

Implementation of Compiler Patterns in Go

consul

Consul is a distributed, highly available, and data center aware solution to connect and configure applications across dynamic, distributed infrastructure.

core

implementation of Simon Payton Jones' Core language in ReasonML

dd-agent

Datadog Agent

deliverable_1

For Bill Laboon's Software Testing class

deliverable_2

For Bill Laboon's Software Testing class (CS 1699) at the University of Pittsburgh

digitalocean-paas

Sample website for playing around with the DigitalOcean PaaS

dnd-misphony-backstory

Character backstory for a D&D campaign.

do-faas

docker-rust-kcov

Docker image to run code coverage on a Rust project using kcov

dpll

An implementation of the DPLL SAT solving algorithm

earleyparser

gatsby-starter-netlify-cms

github-test

glcca

The Golang Compiler Compiler Again

go-change

go-dlb

A "René de la Briandais Trie", often shortened to DLB, implemented in Go.