Pierce Darragh's Projects
Advent of Code, 2019
S-Expression parsing and matching for OCaml.
My "current" resume and CV.
A formally verified implementation of undo checkpointing.
A class all about problem solving with functional programming.
repo for advanced OS, fall 2017, U of Utah
A "Parsing with Derivatives" [Might, 2010] parser generator.
A collection of my own preferences.
Solutions and work for EMC's Mars Challenge Hackathon: https://github.com/emccode/mars-challenge
A verified compiler for a small language from CMSC 430, implemented in Coq.
An all-in-one app for tabletop games with friends... or enemies.
A Haskell-based domain-specific language for generating and playing text-based adventure games.
Any custom IntelliJ plugins I develop.
Elixir-based website. Work in progress.
A parser and interpreter for a made-up Polish prefix language.
An assignment for the University of Utah's Fall 2015 CS3505 Class
A Minesweeper clone in Haskell.
A Haskell Minesweeper solver.
Solution for SemEval 2016 Task 10: http://dimsum16.github.io/
Various small projects for fun.
Final project for my machine learning course.
Various learning interpreters written in OCaml using Camlrack.
Main public package repository for opam, the source package manager of OCaml.
The artifact associated with "Parsing with Zippers (Functional Pearl)" (Darragh and Adams) to appear in ICFP 2020.
Personal site.
Just a layer to throw custom configurations into.
A straightforward implementation of Parsing with Zippers.