Langston Barrett's repositories
write-yourself-a-scheme-in-agda
Like "Write Yourself a Scheme in 48 Hours", but in Agda
CoverTranslator
A tool for formally verifying Haskell code in Agda
reed-thesis
My undergradate thesis on coinductive types in univalent type theory
amsthm-to-anki
Translate math notes written with the amsthm package to Anki notecards!
m3u-converter
Convert M3U files into another format (markdown, yaml, etc.)
vagrant.py
A dynamic inventory script for use with Ansible and Vagrant
coq-typeclass-hierarchy
A full-featured hierarchy of typeclasses for functional programming in Coq
category-theory
An axiom-free formalization of category theory in Coq for personal study and practical work
company-coq
IDE extensions for Proof General's Coq mode
LaTeX-Note-Importer-for-Anki
Add-on for the memory training program Anki, allowing to import and export notes written in LaTeX.
math389
My assignments for Math 389: Computer Systems
openapi-generator
OpenAPI Generator allows generation of API client libraries (SDK generation), server stubs, documentation and configuration automatically given an OpenAPI Spec (v2, v3)
prompt-manipulation
Manipulate bash/zsh prompts in your shell scripts!