RobbieMcKinstry

acheron

A simple SAT solver

agent

codecov-action

GitHub Action that uploads coverage to Codecov :open_umbrella:

consul

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

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

dpll

An implementation of the DPLL SAT solving algorithm

go-change

hashicorp-presentation

hermes

A document management system

lazy-load-example

This repo contains an example of how Pulumi could implement lazy-loading for NodeJS modules.

numpy

The fundamental package for scientific computing with Python.

oltpbench

Database Benchmarking Framework

parsertongue

Golang Parser

passkey-rs

A framework for defining Webauthn Authenticators that support passkeys

personalwebsite

First attempt at a personal website

pulumi-good-bad-ugly

My "Day 1" Pulumi project. An e2e example of using Pulumi to spin up a webserver, load balancer, SSL cert, and custom domain on DigitalOcean.

pulumi-nginx

Deploy NGINX in k8s using pulumi

punchcard

Removing Punchcard workflows from the DevOps Loop!

python-concurrency-experiments

This repo contains reproducable experiments for measuring Pulumi Python threading performance.

radix-trie

A radix trie implemented in Rust.

registry

WebAssembly Registry (Warg)

sample-functions-golang-helloworld

software-foundations

My source code for the Software Foundations exercises and examples.

startrek-roe

ts-build-experiment

Experiment to test the overhead of using an external transpiler instead of TS-Node

typed-ids

Making illegal states unrepresentablec by parameterizing Serial and UUIDs with a type.

whiterabbit-blog