RobbieMcKinstry
All languages are bad. Some languages are useful. I enjoy language and type theory, Go, Rust, and static analysis.
@cubist-labsPittsburgh, PA
Pinned Repositories
acheron
A simple SAT solver
AlgoDesign
Homework write-ups for CS 1510 Algorithm Design at the University of Pittsburgh
memosyne-backend
Implementation of the AT&T hackathon project
nomad-ci
Trying to do end-to-end testing of Nomad so I can use it for a CI
provisioning-your-way-to-success
Slides from my talk at Steelhacks 2018 titled "Provisioning Your Way to a Successful Hack"
sdtrie
A dynamic trie which you can pack into a fast, static, succinct trie.
stripe
tiny-google
Tiny Google is a tiny little search engine, which accepts document uploads and adds them to an inverted index.
while3addr
An interpreter for the While3Addr language.
RobbieMcKinstry's Repositories
RobbieMcKinstry/acheron
A simple SAT solver
RobbieMcKinstry/agent
RobbieMcKinstry/codecov-action
GitHub Action that uploads coverage to Codecov :open_umbrella:
RobbieMcKinstry/deliverable_2
For Bill Laboon's Software Testing class (CS 1699) at the University of Pittsburgh
RobbieMcKinstry/digitalocean-paas
Sample website for playing around with the DigitalOcean PaaS
RobbieMcKinstry/dnd-misphony-backstory
Character backstory for a D&D campaign.
RobbieMcKinstry/do-faas
RobbieMcKinstry/dpll
An implementation of the DPLL SAT solving algorithm
RobbieMcKinstry/go-change
RobbieMcKinstry/hashicorp-presentation
RobbieMcKinstry/hermes
A document management system
RobbieMcKinstry/lazy-load-example
This repo contains an example of how Pulumi could implement lazy-loading for NodeJS modules.
RobbieMcKinstry/numpy
The fundamental package for scientific computing with Python.
RobbieMcKinstry/ocsvm-credit-card
Experimenting with a One Class SVM for anomaly detection on numeric data.
RobbieMcKinstry/oltpbench
Database Benchmarking Framework
RobbieMcKinstry/parsertongue
Golang Parser
RobbieMcKinstry/passkey-rs
A framework for defining Webauthn Authenticators that support passkeys
RobbieMcKinstry/personalwebsite
First attempt at a personal website
RobbieMcKinstry/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.
RobbieMcKinstry/pulumi-nginx
Deploy NGINX in k8s using pulumi
RobbieMcKinstry/punchcard
Removing Punchcard workflows from the DevOps Loop!
RobbieMcKinstry/python-concurrency-experiments
This repo contains reproducable experiments for measuring Pulumi Python threading performance.
RobbieMcKinstry/radix-trie
A radix trie implemented in Rust.
RobbieMcKinstry/registry
WebAssembly Registry (Warg)
RobbieMcKinstry/sample-functions-golang-helloworld
RobbieMcKinstry/software-foundations
My source code for the Software Foundations exercises and examples.
RobbieMcKinstry/startrek-roe
RobbieMcKinstry/ts-build-experiment
Experiment to test the overhead of using an external transpiler instead of TS-Node
RobbieMcKinstry/typed-ids
Making illegal states unrepresentablec by parameterizing Serial and UUIDs with a type.
RobbieMcKinstry/whiterabbit-blog