ocharles's repositories
- brush-level-editor — A brush-based level editor, ala Quake/Half-life
- dhalli — An extension of Dhall with implicit arguments
- dhalli-wip — An extension of Dhall with implicit arguments (fork of ocharles's dhalli)
- dhallix-os — An experimental way to define operating systems in Dhall & Nix
- dhallix-os-wip — An experimental way to define operating systems in Dhall & Nix (fork of ocharles's dhallix-os)
- hurly — A Haskell implementation of the Earley parsing algorithm
- netwire — Functional reactive programming library (fork of ertes's netwire)
- talks — Source code and PDFs of talks I've given
- zurihac2015-projects-server — A web application to allow participants of ZuriHac 2015 to share their work. Code for my "Beginning Web Programming" talk