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

Generalized El-Gamal cipher in Idris
darcs
A small text-generation language I wrote in Haskell
hackage
A web app which suggests mix drinks based on what ingredients you have available, written in Haskell.
page
A command-line tool written as a replacement to 'du'.
git
Idris library for type-safe permutations.
git
Haskell bindings to libarchive.
hackage
A command-line tool to count lines of source code, written in ATS
git
Perceptual hashing in J
git
Matrix arithmetic in Idris
darcs
Levenshtein edit distance in ATS
git
Performant perceptual hashing library written in Haskell
hackage
Combinatorial and number theoretic functions in ATS, with Haskell bindings.
git
Combinatorial functions in Egison
git
Number theoretic functions in Egison
git

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