Finley's repositories
docker-kubernetes-complete-guide
All things related to my progress through Stephen Grider's course "Docker and Kubernetes: The Complete Guide"
bril-ocaml
A simple OCaml library for dealing with the "Big Red Intermediate Language", an educational IR used in Cornell's advanced compilers course CS6120.
decaf-compiler
A full-featured compiler front-end for the world-renowned language "Decaf". Built using the Flex lexical scanner generator and Bison parser generator.
plutus-escrow-contract
Our (winning) entry for the 2019 WyoHackathon!
proof-pad-new
Web-based development environment for the theorem-proving language ACL2.
crafting-interpreters
A place for the work I do while following Bob Nystrom's wonderful book.
github-classroom-tester
Haskell application that runs GitHub classroom autograding test commands locally.
inverted-index
Inverted index implementation for fast, flexible, and large text search. In Go.
principals-of-program-analysis
Work related to my reading of Principals of Program Analysis by Flemming Nielson, Hanne R. Nielson, and Chris Hankin.
reflex-realworld-workshop
A guided workshop through implementing the realworld demo app in obelisk.
rust-programming-language
My exercises and projects from Dmitri Nesteruk's course "The Rust Programming Language".
SudokuSolver
MATLAB program that solves sudoku puzzles using the backtracking algorithm.
TicTacToe
TicTacToe game, with a Tkinter GUI, in Python!
trekking-salesclerk
Travelling salesperson dynamic programming implementations!
uwyo-cosc4780-5010-hw1-template
Template repository for UWYO Principles of Programming Languages Homework 1
uwyo-cosc4780-5010-hw2-template
Template repository for UWYO Principles of Programming Languages Homework 2