Robbie McKinstry
RobbieMcKinstry
All languages are bad. Some languages are useful. I enjoy language and type theory, Go, Rust, and static analysis.
Languages
Repos
85
Stars
8
Forks
1
Top Language
Rust
Loading contributions...
Top Repositories
Homework write-ups for CS 1510 Algorithm Design at the University of Pittsburgh
A dynamic trie which you can pack into a fast, static, succinct trie.
Tiny Google is a tiny little search engine, which accepts document uploads and adds them to an inverted index.
An interpreter for the While3Addr language.
A simple SAT solver
A NextJS webserver that responds to webhooks from Stripe and stores the data in RabbitMQ.
Repositories
85A NextJS webserver that responds to webhooks from Stripe and stores the data in RabbitMQ.
Homework write-ups for CS 1510 Algorithm Design at the University of Pittsburgh
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
A guide for new viewers of Dropout TV.
An interpreter for the While3Addr language.
Experimenting with a One Class SVM for anomaly detection on numeric data.
WebAssembly Registry (Warg)
A dynamic trie which you can pack into a fast, static, succinct trie.
A radix trie implemented in Rust.
A framework for defining Webauthn Authenticators that support passkeys
For Bill Laboon's Software Testing class (CS 1699) at the University of Pittsburgh
A document management system
Removing Punchcard workflows from the DevOps Loop!
This repo contains reproducable experiments for measuring Pulumi Python threading performance.
Tiny Google is a tiny little search engine, which accepts document uploads and adds them to an inverted index.
Pitt Computer Science Club talk on Language History
No description provided.
This repo contains an example of how Pulumi could implement lazy-loading for NodeJS modules.
A simple SAT solver
An implementation of the DPLL SAT solving algorithm
Experiment to test the overhead of using an external transpiler instead of TS-Node
GitHub Action that uploads coverage to Codecov :open_umbrella:
Deploy NGINX in k8s using pulumi
Character backstory for a D&D campaign.
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.
No description provided.