Finley (FinleyMcIlwaine)

FinleyMcIlwaine

Geek Repo

Company:@well-typed

Location:Redmond, Oregon

Twitter:@FinleyMcIlwaine

Github PK Tool:Github PK Tool

Finley's repositories

docker-kubernetes-complete-guide

All things related to my progress through Stephen Grider's course "Docker and Kubernetes: The Complete Guide"

Language:JavaScriptStargazers:1Issues:2Issues:0

war-snake

Battlesnake implementation

Language:PythonStargazers:1Issues:2Issues:0

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.

Language:OCamlStargazers:0Issues:2Issues:0

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

crafting-interpreters

A place for the work I do while following Bob Nystrom's wonderful book.

Language:JavaStargazers:0Issues:2Issues:0

github-classroom-tester

Haskell application that runs GitHub classroom autograding test commands locally.

Language:GoStargazers:0Issues:2Issues:0
Language:HaskellStargazers:0Issues:2Issues:0

inverted-index

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

Language:GoStargazers:0Issues:0Issues:0

plfa

An introduction to programming language theory in Agda

Language:HTMLLicense:CC-BY-4.0Stargazers:0Issues:1Issues:0

principals-of-program-analysis

Work related to my reading of Principals of Program Analysis by Flemming Nielson, Hanne R. Nielson, and Chris Hankin.

Stargazers:0Issues:2Issues:0

reflex-realworld-workshop

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

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

rust-programming-language

My exercises and projects from Dmitri Nesteruk's course "The Rust Programming Language".

Language:RustStargazers:0Issues:2Issues: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

uwyo-cosc4780-5010-hw1-template

Template repository for UWYO Principles of Programming Languages Homework 1

Language:JavaStargazers:0Issues:2Issues:0

uwyo-cosc4780-5010-hw2-template

Template repository for UWYO Principles of Programming Languages Homework 2

Language:JavaStargazers:0Issues:2Issues:0