Stefan's repositories
racket-github-api
simple bindings for the github api
mockfighter
Mockfighter is a Stockfighter clone
eu90h.github.io
A page where I write about stuff
racketchat
A multiuser TCP/IP based chat server and GUI client program
rust-uefi-chainloader
A UEFI program written in rust that loads another EFI program and executes it.
TriforceAFL
AFL/QEMU fuzzing with full-system emulation.
python-notebooks
A collection of Python notebooks showing various ML techniques.
rust-namespace-example
A small example showing how to launch a process in a namespaced chroot.
devops-exercises
Linux, Jenkins, AWS, SRE, Prometheus, Docker, Python, Ansible, Git, Kubernetes, Terraform, OpenStack, SQL, NoSQL, Azure, GCP, DNS, Elastic, Network, Virtualization. DevOps Interview Questions
DistributedSystemsLabs
This repository contains the accompanying labs for MIT's 6.5840 distributed systems course.
dolos
dolos is a very small tool for displaying the cgroup hierarchy
git-daemon-docker
Launch a git server daemon in a Docker container
goofy-coin
An extremely simple centralized crypto coin based on the goofy coin system
goshorty
Simple URL shortening API written in Go.
mastodon-ansible
Ansible playbook for installing Mastodon
p_specs
Miscellaneous formal specifications written in P.
sample-efficient-bayesian-rl
Source for the sample efficient tabular RL submission to the 2019 NIPS workshop on Biological and Artificial RL
Stock_Analysis_For_Quant
Different Types of Stock Analysis in Excel, Matlab, Power BI, Python, R, and Tableau
tda-api
A TD Ameritrade API client for Python. Includes historical data for equities and ETFs, options chains, streaming order book data, complex order construction, and more.
tla-stuff
TLA+ specs and such
webhook-handler
Simple Rust webhook handler.