Pinned Repositories
acl2s-merge-insert-ordered-assoc
Final project for CS 2800. Formally proving the associativity of a merge-ordered-insert function in ACL2s.
AdventOfCode2021
My Work on the Advent of Code Challenges
CodePartnerGame
A CS project where partners create a simple game
competitive_coding
Grouping of work that can loosely fit the category of "competitive coding"
dlangide
D language IDE based on DlangUI
DRaw
EECE4632_project_AES_on_FPGA
Final Project for EECE4632. Topic is implementing the Advanced Encryption Standard (AES) on an FPGA.
p4-tutorials
P4 language tutorials
PartnerGame
A CS project where we create a simple game in pairs
PathOfBuilding
Offline build planner for Path of Exile.
abstewart's Repositories
abstewart/DRaw
abstewart/acl2s-merge-insert-ordered-assoc
Final project for CS 2800. Formally proving the associativity of a merge-ordered-insert function in ACL2s.
abstewart/AdventOfCode2021
My Work on the Advent of Code Challenges
abstewart/CodePartnerGame
A CS project where partners create a simple game
abstewart/competitive_coding
Grouping of work that can loosely fit the category of "competitive coding"
abstewart/dlangide
D language IDE based on DlangUI
abstewart/EECE4632_project_AES_on_FPGA
Final Project for EECE4632. Topic is implementing the Advanced Encryption Standard (AES) on an FPGA.
abstewart/p4-tutorials
P4 language tutorials
abstewart/PartnerGame
A CS project where we create a simple game in pairs
abstewart/PathOfBuilding
Offline build planner for Path of Exile.
abstewart/python-pptx
Create Open XML PowerPoint documents in Python
abstewart/spring23-webdev-final-project
abstewart/spring23-webdev-final-project-node
A simple node server to support the spring23-webdev-final-project react website
abstewart/survey-dub
A simple set of scripts to survey the dub registry of projects
abstewart/Teacher_V_Students
A final project game for a computer science class.
abstewart/TestRepository
A temporary repository to test how Git interacts with Java
abstewart/tModLoader
A mod to make and play Terraria mods. Supports Terraria 1.4 (and earlier) installations
abstewart/tuiter-node-server-app
Node.js HTTP Web server for the tuiter-react-web-app repo
abstewart/tuiter-react-web-app
Repository for CS4550 Web Development to learn about web dev