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