Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / RobbieMcKinstry 77 repositories
All languages are bad. Some languages are useful. I enjoy language and type theory, Go, Rust, and static analysis.
RobbieMcKinstry/typed-ids
Making illegal states unrepresentablec by parameterizing Serial and UUIDs with a type.
Language: Rust - Size: 22.5 KB - Last synced: about 2 months ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0
RobbieMcKinstry/stripe
Language: Elm - Size: 1.95 KB - Last synced: about 2 months ago - Pushed: almost 8 years ago - Stars: 3 - Forks: 5
RobbieMcKinstry/radix-trie
A radix trie implemented in Rust.
Language: Rust - Size: 3.91 KB - Last synced: about 2 months ago - Pushed: 8 months ago - Stars: 0 - Forks: 0
RobbieMcKinstry/steelhacks2016
Language: Go - Size: 2.55 MB - Last synced: about 2 months ago - Pushed: over 8 years ago - Stars: 0 - Forks: 0
RobbieMcKinstry/pipeline Fork of myntra/pipeline
Pipeline is a package to build multi-staged concurrent workflows with a centralized logging output.
Language: Go - Size: 209 KB - Last synced: about 2 months ago - Pushed: about 7 years ago - Stars: 0 - Forks: 0
RobbieMcKinstry/passkey-rs Fork of eoijer/passkey-rs
A framework for defining Webauthn Authenticators that support passkeys
Size: 285 KB - Last synced: about 2 months ago - Pushed: 7 months ago - Stars: 0 - Forks: 0
RobbieMcKinstry/personalwebsite
First attempt at a personal website
Language: JavaScript - Size: 24.7 MB - Last synced: about 2 months ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0
RobbieMcKinstry/memosyne-backend
Implementation of the AT&T hackathon project
Language: Go - Size: 490 KB - Last synced: about 2 months ago - Pushed: almost 9 years ago - Stars: 1 - Forks: 0
RobbieMcKinstry/kubernetes-batch
"Serverless" library for Kubernetes batch jobs
Language: Go - Size: 1.95 KB - Last synced: about 2 months ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0
RobbieMcKinstry/goa Fork of goadesign/goa
Design-based APIs and microservices in Go
Language: Go - Size: 29.9 MB - Last synced: about 2 months ago - Pushed: about 7 years ago - Stars: 0 - Forks: 0
RobbieMcKinstry/EarleyParser
Language: C - Size: 363 KB - Last synced: about 2 months ago - Pushed: about 10 years ago - Stars: 0 - Forks: 0
RobbieMcKinstry/colorformatter
colorformatter for Logrus -- like TextFormatter, but color indicates log level, no timestamps
Language: Go - Size: 1.95 KB - Last synced: about 2 months ago - Pushed: over 6 years ago - Stars: 0 - Forks: 1
RobbieMcKinstry/447-lab1
Completion of the first lab for CS 447
Language: Java - Size: 113 KB - Last synced: about 2 months ago - Pushed: over 10 years ago - Stars: 0 - Forks: 0
RobbieMcKinstry/registry Fork of bytecodealliance/registry
WebAssembly Registry (Warg)
Size: 4.83 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 0 - Forks: 0
RobbieMcKinstry/sdtrie
A dynamic trie which you can pack into a fast, static, succinct trie.
Language: Rust - Size: 1.92 MB - Last synced: about 2 months ago - Pushed: over 4 years ago - Stars: 2 - Forks: 0
RobbieMcKinstry/deliverable_2 π¦
For Bill Laboon's Software Testing class (CS 1699) at the University of Pittsburgh
Language: Python - Size: 28.3 KB - Last synced: about 2 months ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0
RobbieMcKinstry/hermes Fork of hashicorp-forge/hermes
A document management system
Language: Go - Size: 444 KB - Last synced: about 2 months ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0
RobbieMcKinstry/punchcard
Removing Punchcard workflows from the DevOps Loop!
Language: Rust - Size: 103 KB - Last synced: about 2 months ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0
RobbieMcKinstry/python-concurrency-experiments
This repo contains reproducable experiments for measuring Pulumi Python threading performance.
Language: Shell - Size: 15.1 MB - Last synced: about 2 months ago - Pushed: 11 months ago - Stars: 0 - Forks: 0
RobbieMcKinstry/tiny-google
Tiny Google is a tiny little search engine, which accepts document uploads and adds them to an inverted index.
Language: Python - Size: 6.2 MB - Last synced: about 2 months ago - Pushed: over 7 years ago - Stars: 2 - Forks: 0
RobbieMcKinstry/language-history
Pitt Computer Science Club talk on Language History
Language: JavaScript - Size: 1.43 MB - Last synced: about 2 months ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0
RobbieMcKinstry/go-change Fork of pulumi/go-change
Size: 64.5 KB - Last synced: about 2 months ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0
RobbieMcKinstry/lazy-load-example
This repo contains an example of how Pulumi could implement lazy-loading for NodeJS modules.
Language: TypeScript - Size: 47.9 KB - Last synced: about 2 months ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0
RobbieMcKinstry/acheron
A simple SAT solver
Language: Rust - Size: 6.36 MB - Last synced: about 2 months ago - Pushed: almost 2 years ago - Stars: 1 - Forks: 0
RobbieMcKinstry/dpll
An implementation of the DPLL SAT solving algorithm
Size: 1000 Bytes - Last synced: about 2 months ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0
RobbieMcKinstry/ts-build-experiment
Experiment to test the overhead of using an external transpiler instead of TS-Node
Language: Shell - Size: 38.1 KB - Last synced: about 2 months ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0
RobbieMcKinstry/codecov-action Fork of codecov/codecov-action
GitHub Action that uploads coverage to Codecov :open_umbrella:
Language: TypeScript - Size: 7.31 MB - Last synced: about 2 months ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0
RobbieMcKinstry/pulumi-nginx Fork of metral/pulumi-nginx
Deploy NGINX in k8s using pulumi
Language: TypeScript - Size: 1.95 KB - Last synced: about 2 months ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0
RobbieMcKinstry/dnd-misphony-backstory
Character backstory for a D&D campaign.
Language: HTML - Size: 12.7 KB - Last synced: about 2 months ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0
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.
Language: Go - Size: 18.6 KB - Last synced: about 2 months ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0
RobbieMcKinstry/do-faas
Language: Go - Size: 1.95 KB - Last synced: about 2 months ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0
RobbieMcKinstry/sample-functions-golang-helloworld Fork of digitalocean/sample-functions-golang-helloworld
Size: 2.93 KB - Last synced: about 2 months ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0
RobbieMcKinstry/AlgoDesign
Homework write-ups for CS 1510 Algorithm Design at the University of Pittsburgh
Language: TeX - Size: 5.12 MB - Last synced: about 2 months ago - Pushed: over 7 years ago - Stars: 1 - Forks: 1
RobbieMcKinstry/agent
Language: Go - Size: 23.4 KB - Last synced: about 2 months ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0
RobbieMcKinstry/numpy Fork of numpy/numpy
The fundamental package for scientific computing with Python.
Size: 84.5 MB - Last synced: about 2 months ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0
RobbieMcKinstry/oltpbench Fork of oltpbenchmark/oltpbench
Database Benchmarking Framework
Size: 109 MB - Last synced: about 2 months ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0
RobbieMcKinstry/whiterabbit-blog
Language: JavaScript - Size: 20.5 MB - Last synced: about 2 months ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0
RobbieMcKinstry/startrek-roe
Language: HTML - Size: 13.7 KB - Last synced: about 2 months ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0
RobbieMcKinstry/digitalocean-paas
Sample website for playing around with the DigitalOcean PaaS
Language: Go - Size: 1000 Bytes - Last synced: 6 days ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0
RobbieMcKinstry/parsertongue
Golang Parser
Language: Go - Size: 11.9 MB - Last synced: about 2 months ago - Pushed: over 1 year ago - Stars: 0 - Forks: 1
RobbieMcKinstry/hashicorp-presentation
Language: Go - Size: 52.7 KB - Last synced: about 2 months ago - Pushed: almost 4 years ago - Stars: 0 - Forks: 0
RobbieMcKinstry/software-foundations
My source code for the Software Foundations exercises and examples.
Size: 1000 Bytes - Last synced: about 2 months ago - Pushed: almost 4 years ago - Stars: 0 - Forks: 0
RobbieMcKinstry/consul Fork of hashicorp/consul
Consul is a distributed, highly available, and data center aware solution to connect and configure applications across dynamic, distributed infrastructure.
Language: Go - Size: 100 MB - Last synced: about 2 months ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0
RobbieMcKinstry/advent-of-code-2019
Language: Go - Size: 7.81 KB - Last synced: about 2 months ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0
RobbieMcKinstry/go-dlb
A "RenΓ© de la Briandais Trie", often shortened to DLB, implemented in Go.
Language: Go - Size: 2.93 KB - Last synced: about 2 months ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0
RobbieMcKinstry/LanguageClient-neovim Fork of autozimu/LanguageClient-neovim
Language Server Protocol (LSP) support for vim and neovim.
Language: Rust - Size: 24 MB - Last synced: about 2 months ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0
RobbieMcKinstry/docker-rust-kcov
Docker image to run code coverage on a Rust project using kcov
Language: Dockerfile - Size: 8.79 KB - Last synced: about 2 months ago - Pushed: over 5 years ago - Stars: 0 - Forks: 2
RobbieMcKinstry/jose Fork of SermoDigital/jose
A comprehensive set of JWT, JWS, and JWE libraries.
Language: Go - Size: 98.6 KB - Last synced: about 2 months ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0
RobbieMcKinstry/hashistack
Language: HCL - Size: 5.86 KB - Last synced: about 2 months ago - Pushed: over 5 years ago - Stars: 0 - Forks: 2
RobbieMcKinstry/core
implementation of Simon Payton Jones' Core language in ReasonML
Language: OCaml - Size: 3.91 KB - Last synced: about 2 months ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0
RobbieMcKinstry/advent-of-code
Language: Python - Size: 18.6 KB - Last synced: about 2 months ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0
RobbieMcKinstry/cargo-make Fork of sagiegurari/cargo-make
Rust task runner and build tool.
Language: Rust - Size: 1.99 MB - Last synced: about 2 months ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0
RobbieMcKinstry/TartanHacks_NumberCruncher
Language: Go - Size: 2.87 MB - Last synced: about 2 months ago - Pushed: over 9 years ago - Stars: 0 - Forks: 0
RobbieMcKinstry/reference-visualization
For tiny Flask app for visualizing your .bib files
Language: HTML - Size: 972 KB - Last synced: about 2 months ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 0
RobbieMcKinstry/bibliographies
List of .bib files for projects I'm working on
Language: TeX - Size: 2.93 KB - Last synced: about 2 months ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0
RobbieMcKinstry/provisioning-your-way-to-success
Slides from my talk at Steelhacks 2018 titled "Provisioning Your Way to a Successful Hack"
Language: JavaScript - Size: 4.14 MB - Last synced: about 2 months ago - Pushed: over 6 years ago - Stars: 1 - Forks: 0
RobbieMcKinstry/gatsby-starter-netlify-cms
Language: JavaScript - Size: 2.09 MB - Last synced: about 2 months ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0
RobbieMcKinstry/blockchain_simulation Fork of natboehm/blockchain_simulation
Language: Go - Size: 9.49 MB - Last synced: about 2 months ago - Pushed: about 8 years ago - Stars: 0 - Forks: 0
RobbieMcKinstry/nomad-ci
Trying to do end-to-end testing of Nomad so I can use it for a CI
Language: Shell - Size: 4.88 KB - Last synced: about 2 months ago - Pushed: over 6 years ago - Stars: 1 - Forks: 0
RobbieMcKinstry/github-test
Language: Java - Size: 1000 Bytes - Last synced: about 2 months ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0
RobbieMcKinstry/three-little-words
A poem in HTML
Language: HTML - Size: 33.2 KB - Last synced: about 2 months ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0
RobbieMcKinstry/vault Fork of hashicorp/vault
A tool for managing secrets.
Language: Go - Size: 28.4 MB - Last synced: about 2 months ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0
RobbieMcKinstry/dd-agent Fork of DataDog/dd-agent
Datadog Agent
Language: Python - Size: 40.5 MB - Last synced: about 2 months ago - Pushed: about 7 years ago - Stars: 0 - Forks: 0
RobbieMcKinstry/reduxa Fork of kkeuning/reduxa
Redux boilerplate generation plugin for Goa
Language: Go - Size: 10.7 KB - Last synced: about 2 months ago - Pushed: about 7 years ago - Stars: 0 - Forks: 0
RobbieMcKinstry/sat-encoder
Allows Go programs to encode metadata as SAT constraints
Language: Go - Size: 13.7 KB - Last synced: about 2 months ago - Pushed: about 7 years ago - Stars: 0 - Forks: 0
RobbieMcKinstry/TrophyLife
TrophyLife awards you with achievements for adulting. It's my Hello World for React/Redux.
Language: JavaScript - Size: 24.4 KB - Last synced: about 2 months ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0
RobbieMcKinstry/xhttp
eXtended HTTP: typed wrapper for the core/http library in Elm!
Language: Elm - Size: 2.93 KB - Last synced: about 2 months ago - Pushed: almost 8 years ago - Stars: 0 - Forks: 0
RobbieMcKinstry/wyvern-server-example
A simple static fileserver in Wyvern
Language: Shell - Size: 1000 Bytes - Last synced: about 2 months ago - Pushed: almost 8 years ago - Stars: 0 - Forks: 0
RobbieMcKinstry/while3addr
An interpreter for the While3Addr language.
Language: Rust - Size: 5.86 KB - Last synced: about 2 months ago - Pushed: almost 8 years ago - Stars: 0 - Forks: 0
RobbieMcKinstry/airport-simulation
Homework 4 of Pitt's CS 1538 Introduction to Simulation
Language: Go - Size: 12.7 KB - Last synced: about 2 months ago - Pushed: about 8 years ago - Stars: 0 - Forks: 0
RobbieMcKinstry/analysispresentation
Language: Go - Size: 270 KB - Last synced: about 2 months ago - Pushed: about 8 years ago - Stars: 0 - Forks: 0
RobbieMcKinstry/StandardNormal
Language: Go - Size: 749 KB - Last synced: about 2 months ago - Pushed: about 8 years ago - Stars: 0 - Forks: 0
RobbieMcKinstry/UniformRandom
Uniform Random Number generator using Linear Congruential formula
Language: Go - Size: 50.8 KB - Last synced: about 2 months ago - Pushed: about 8 years ago - Stars: 0 - Forks: 0
RobbieMcKinstry/simulation-skeleton
A skeleton for Simulations, designed for CS 1538 at University of Pittsburgh, with Mike Lipschultz
Language: Python - Size: 2.93 KB - Last synced: about 2 months ago - Pushed: over 8 years ago - Stars: 0 - Forks: 0
RobbieMcKinstry/compiler-patterns
Implementation of Compiler Patterns in Go
Size: 117 KB - Last synced: about 2 months ago - Pushed: almost 9 years ago - Stars: 0 - Forks: 0
RobbieMcKinstry/Glcca
The Golang Compiler Compiler Again
Language: Go - Size: 152 KB - Last synced: about 2 months ago - Pushed: about 9 years ago - Stars: 0 - Forks: 0
RobbieMcKinstry/deliverable_1
For Bill Laboon's Software Testing class
Size: 313 KB - Last synced: about 2 months ago - Pushed: over 9 years ago - Stars: 0 - Forks: 0