Matt Teichman's repositories
attendance-app
Ruby on Rails web application for taking attendance in a classroom setting.
agda-playground
an attempt to work through the beginning of Givant and Halmos' book in Agda
anonymizer
Command-line app for anonymizing student papers
Demo
Demo repo for tutotial articles on Opensource.com
fake-app
this is a fake app
fun-with-gadts
Toy code for exploring basic GADT use cases
lambda
Typechecker for the simply-typed lambda calculus
mattlude
Experimental additions to the OCaml Prelude library
mt-elisp-projects
Matt's personal Elisp projects
nix_ocaml_project
An empty OCaml project that exists only to see whether I can create a Nix shell environment that includes Prelude
ocaml-quickstart
A repo for whipping up an OCaml dune project in one git pull. Assumes Versioj and Prelude.
odoc_ml_file
I wanna get a docstring into an .ml file
org-section-numbers
Elisp to automatically insert section numbers into an org file
plrg-stack-traces
some toy code to illustrate our approach to simulating stack traces purely functionally
shmalaga
Galaga clone
testing-markdown-export1
testing org export to markdown
translators
Zotero Translators
tuareg
Emacs OCaml mode