Vanessa McHale

Fall 2015
Scanned lecture notes from a presentation I gave on symplectic geometry.
PDF
Spring 2013
A short piece I wrote on the optico-mechanical analogy I wrote for the high school physics team.
PDF TEX

A small text-generation language I wrote in Haskell
darcs
A blog which I built with Yesod. Also taught me acid-state.
page
A web app which suggest mix drinks based on what ingredients you have available. Written in Haskell.
page
A brainfuck interpreter I wrote to demonstrate monadic parser combinators and recursion schemes.
git
A command-line tool written as a replacement to 'du', with an emphasis on parallelism and ergonomics.
git
An Idris library for type-safe permutations.
git
A Haskell library for computing continued fractions and rational approximations.
darcs
A command-line tool to count lines of source code, written in ATS
pijul

Spring 2013
Ricci and Levi-Civita's treatise on their invention of tensor calculus, translated from the original French.
PDF TEX
Summer 2016
Excerpt from The Fifteen Joys of Marriage, a 15th century French satire. Translated from Middle French.
PDF TEX plaintext

Summer 2016

A reference which contains many proofs from the calculus of variations, including the correct generalization of Noether's theorem for a field dependent on higher order derivatives.
PDF TEX
Summer 2012
A paper from a summer research project I did in high school simulating the electrocaloric effect in a ceramic.
PDF src
Spring 2018
A literate program demonstrating how to enforce memory safety with linear types in Haskell.
PDF