Finley (FinleyMcIlwaine)

FinleyMcIlwaine

Geek Repo

Company:@well-typed

Location:Redmond, Oregon

Twitter:@FinleyMcIlwaine

Github PK Tool:Github PK Tool

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.

Language:C++Stargazers:0Issues:2Issues:0

plutus-escrow-contract

Our (winning) entry for the 2019 WyoHackathon!

Language:HaskellStargazers:0Issues:2Issues:0

proof-pad-new

Web-based development environment for the theorem-proving language ACL2.

Language:TypeScriptLicense:Apache-2.0Stargazers:0Issues:1Issues:0

inverted-index

Inverted index implementation for fast, flexible, and large text search. In Go.

Language:GoStargazers:0Issues:0Issues:0

reflex-realworld-workshop

A guided workshop through implementing the realworld demo app in obelisk.

License:Apache-2.0Stargazers:0Issues:0Issues:0

SudokuSolver

MATLAB program that solves sudoku puzzles using the backtracking algorithm.

Language:MatlabStargazers:0Issues:0Issues:0

TicTacToe

TicTacToe game, with a Tkinter GUI, in Python!

Language:PythonStargazers:0Issues:0Issues:0

trekking-salesclerk

Travelling salesperson dynamic programming implementations!

Language:JavaScriptStargazers:0Issues:0Issues:0