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