There are no reviews yet. Be the first to send feedback to the community and the maintainers!
parsing-with-zippers-paper-artifact
The artifact associated with "Parsing with Zippers (Functional Pearl)" (Darragh and Adams) to appear in ICFP 2020.camlrack
S-Expression parsing and matching for OCaml.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.pwz-examples
A straightforward implementation of Parsing with Zippers.swift-parsing-with-zippers
A Swift implementation of Parsing with Zippers.dotfiles
A collection of my own preferences.refurbished-mac-finder
Simple tool to notify when refurbished MacBooks are posted with the desired specifications.tapl-implementations
Implementations of the various languages in "Types and Programming Languages" [Pierce, 2002].Love Open Source and this site? Check out how you can help us