Brian Rago's starred repositories
verification-class
Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos
schemastore
A collection of JSON schema files including full API
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
proc-macro-workshop
Learn to write Rust procedural macros [Rust Latam conference, Montevideo Uruguay, March 2019]
metalang99
Full-blown preprocessor metaprogramming
alonzo-church
Discord.js bot for the MSU CSE server
haskell-ide-engine
The engine for haskell ide-integration. Not an IDE
BetterDiscord
Better Discord enhances Discord desktop app with new features.
PBE-Player-Updater
Player Updater website for the PBE
data-structures-and-algorithms
This project is purely for learning and possible future use. If you'd like me to attempt to make a data structure or algorithm that isn't present, you can open it as an issue. If you'd like to contribute, you can remake them in another language.
Pyramid-Scheme
A pyramidic language
zeckendorf-sequences
Generator for Simple Zeckendorf Sequences
DND-5e-LaTeX-Template
LaTeX package to typeset material for the fifth edition of the "world's greatest roleplaying game".
gloomhaven-rules
Unofficial lightweight, searchable copy of the Gloomhaven rule book
Cockatrice
A cross-platform virtual tabletop for multiplayer card games
mtg-sdk-python
Magic: The Gathering SDK - Python
mtg-sdk-java
Magic: The Gathering SDK - Java