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.
cardano-db-sync
A component that follows the Cardano chain and stores blocks and transactions in PostgreSQL
blaze-svg
SVG Combinators for Haskell
cardano-node
The core component that is used to participate in a Cardano decentralised blockchain.
crafting-interpreters
A place for the work I do while following Bob Nystrom's wonderful book.
cubicbezier
Haskell library for manipulating cubic bezier curves
db-sync-mre
Minimum-reproducible-example for the `cardano-db` build issue
diagrams-postscript
Postscript backend for Diagrams.
ghc-paths
Knowledge of GHC's installation directories
github-classroom-tester
Haskell application that runs GitHub classroom autograding test commands locally.
haskell-chart
A 2D charting library for haskell
obelisk-dice
Simple Obelisk project that provides two dices, one that runs in the frontend and one that runs in the backend
plutus
The Plutus language implementation and tools
plutus-apps
The Plutus application platform
principals-of-program-analysis
Work related to my reading of Principals of Program Analysis by Flemming Nielson, Hanne R. Nielson, and Chris Hankin.
rust-programming-language
My exercises and projects from Dmitri Nesteruk's course "The Rust Programming Language".
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
uwyo-cosc4780-5010-hw3-template
Template repository for UWYO Principles of Programming Languages Homework 3
uwyo-cosc4780-5010-hw4-template
Template repository for UWYO Principles of Programming Languages Homework 4
uwyo-cosc4780-5010-midterm-template
Template repository for UWYO Principles of Programming Languages midterm project