pdarragh
PhD student at the University of Maryland, interested in programming languages and their usability.
UMDCollege Park, MD
Pinned Repositories
camlrack
S-Expression parsing and matching for OCaml.
parsing-with-zippers-paper-artifact
The artifact associated with "Parsing with Zippers (Functional Pearl)" (Darragh and Adams) to appear in ICFP 2020.
tapl-implementations
Implementations of the various languages in "Types and Programming Languages" [Pierce, 2002].
variadic-curry-calculus
Simple untyped lambda calculus that supports both variadic functions and auto-currying.
Viper
A statically-typed programming language based on Python, Haskell, Scala, and Swift.
parsing-with-zippers
A clean implementation of Parsing with Zippers.
privacy_services_manager
A single management utility to administer Location Services, Contacts requests, Accessibility, and iCloud access in Apple's OS X.
pdarragh's Repositories
pdarragh/parsing-with-zippers-paper-artifact
The artifact associated with "Parsing with Zippers (Functional Pearl)" (Darragh and Adams) to appear in ICFP 2020.
pdarragh/camlrack
S-Expression parsing and matching for OCaml.
pdarragh/variadic-curry-calculus
Simple untyped lambda calculus that supports both variadic functions and auto-currying.
pdarragh/Viper
A statically-typed programming language based on Python, Haskell, Scala, and Swift.
pdarragh/pwz-examples
A straightforward implementation of Parsing with Zippers.
pdarragh/swift-parsing-with-zippers
A Swift implementation of Parsing with Zippers.
pdarragh/chump
A formally verified implementation of undo checkpointing.
pdarragh/dotfiles
A collection of my own preferences.
pdarragh/refurbished-mac-finder
Simple tool to notify when refurbished MacBooks are posted with the desired specifications.
pdarragh/tapl-implementations
Implementations of the various languages in "Types and Programming Languages" [Pierce, 2002].
pdarragh/advent-of-code
pdarragh/aoc19
Advent of Code, 2019
pdarragh/career-materials
My "current" resume and CV.
pdarragh/cs6960-fall17
repo for advanced OS, fall 2017, U of Utah
pdarragh/derpgen
A "Parsing with Derivatives" [Might, 2010] parser generator.
pdarragh/DungeonBuilder
pdarragh/FourCerty
A verified compiler for a small language from CMSC 430, implemented in Coq.
pdarragh/IntelliJ-Plugins
Any custom IntelliJ plugins I develop.
pdarragh/inventorkey
Elixir-based website. Work in progress.
pdarragh/Minesweeper
A Minesweeper clone in Haskell.
pdarragh/ml-project
Final project for my machine learning course.
pdarragh/ocaml-learning-interpreters
Various learning interpreters written in OCaml using Camlrack.
pdarragh/opam-repository
Main public package repository for opam, the source package manager of OCaml.
pdarragh/pdarragh.github.io
Personal site.
pdarragh/personal-spacemacs-layer
Just a layer to throw custom configurations into.
pdarragh/qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
pdarragh/rackunit
pdarragh/ScrollRack
pdarragh/sweetpea-py
pdarragh/xv6-project