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

cardano-db-sync

A component that follows the Cardano chain and stores blocks and transactions in PostgreSQL

Language:HaskellLicense:Apache-2.0Stargazers:0Issues:0Issues:0

ClozureDB

A web-based relational database design tool.

Language:JavaScriptLicense:MITStargazers:0Issues:1Issues:0

blaze-svg

SVG Combinators for Haskell

License:BSD-3-ClauseStargazers:0Issues:0Issues:0

cardano-node

The core component that is used to participate in a Cardano decentralised blockchain.

Language:HaskellLicense:Apache-2.0Stargazers:0Issues:0Issues:0

cborg

Binary serialisation in the CBOR format

Language:HaskellStargazers:0Issues:1Issues:0

crafting-interpreters

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

Language:JavaStargazers:0Issues:2Issues:0

cubicbezier

Haskell library for manipulating cubic bezier curves

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

db-sync-mre

Minimum-reproducible-example for the `cardano-db` build issue

Language:HaskellStargazers:0Issues:0Issues:0

diagrams-postscript

Postscript backend for Diagrams.

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:1Issues:0

ghc-paths

Knowledge of GHC's installation directories

License:NOASSERTIONStargazers:0Issues:0Issues:0

github-classroom-tester

Haskell application that runs GitHub classroom autograding test commands locally.

Language:GoStargazers:0Issues:2Issues:0

haskell-chart

A 2D charting library for haskell

Language:HaskellStargazers:0Issues:1Issues:0
Language:HaskellStargazers:0Issues:2Issues:0
Language:HaskellStargazers:0Issues:0Issues:0

mfsolve

mfsolve

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

obelisk-dice

Simple Obelisk project that provides two dices, one that runs in the frontend and one that runs in the backend

Language:HaskellStargazers:0Issues:0Issues:0

plfa

An introduction to programming language theory in Agda

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

plutus

The Plutus language implementation and tools

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

plutus-apps

The Plutus application platform

Language:HaskellLicense:Apache-2.0Stargazers:0Issues:0Issues: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

rust-programming-language

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

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

uwyo-cosc4780-5010-hw3-template

Template repository for UWYO Principles of Programming Languages Homework 3

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

uwyo-cosc4780-5010-hw4-template

Template repository for UWYO Principles of Programming Languages Homework 4

Language:C++Stargazers:0Issues:1Issues:0

uwyo-cosc4780-5010-midterm-template

Template repository for UWYO Principles of Programming Languages midterm project

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