Finley's repositories
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.
inverted-index
Inverted index implementation for fast, flexible, and large text search. In Go.
Language:Go000
reflex-realworld-workshop
A guided workshop through implementing the realworld demo app in obelisk.
Apache-2.0000
SudokuSolver
MATLAB program that solves sudoku puzzles using the backtracking algorithm.
Language:Matlab000
TicTacToe
TicTacToe game, with a Tkinter GUI, in Python!
Language:Python000
trekking-salesclerk
Travelling salesperson dynamic programming implementations!
Language:JavaScript000