Pinned Repositories
cic-redex
A Redex model of CIC as specified in Chapter 4 of the Coq reference manual.
cur
A less devious proof assistant
dissertation
The source for "Compiling with Dependent Types" (my dissertation)
llm-lang
An LLM-first programming language.
mttex
A LaTeX package for formatting meta-theory.
multi-lang-comp
a compiler from a lambda language to an assembly language, as a rewrite system
pl-thesaurus
scribble-bettergrammar
A Scribble library for typesetting grammars better
scribble-minted
A scribble library for using pygmentize
wilbowma's Repositories
wilbowma/cur
A less devious proof assistant
wilbowma/dissertation
The source for "Compiling with Dependent Types" (my dissertation)
wilbowma/llm-lang
An LLM-first programming language.
wilbowma/multi-lang-comp
a compiler from a lambda language to an assembly language, as a rewrite system
wilbowma/scribble-minted
A scribble library for using pygmentize
wilbowma/scribble-bettergrammar
A Scribble library for typesetting grammars better
wilbowma/experimenting-with-redex
A Redex tutorial with a focus on how to do work in Redex
wilbowma/the-unhinged-schemer
wilbowma/ubc-procmail
My UBC procmailrc setup
wilbowma/agda-experiments
Some experiments with modeling in Agda
wilbowma/caldav-infer-freebusy
A Python script to generate a free/busy iCalendar from a server that doesn't support free/busy requests
wilbowma/fib-lang
A DSL for fibonacci numbers
wilbowma/canvas-to-fsc
A script to automatically reformat a Canvas gradebook to a FSC gradebook
wilbowma/cbneed-model-agda
wilbowma/cc-meta
wilbowma/dotfiles
My dotfiles
wilbowma/fwesh
Genewate unique `aloc?`s
wilbowma/gradescope-racket
Infrastructure to autograde Racket code on Gradescope
wilbowma/gregor
Date and time library for Racket
wilbowma/handin
Handin server and client
wilbowma/martin-lof
papers of Per Martin Löf
wilbowma/Microsoft-Activation-Scripts
A Windows and Office activator using HWID / KMS38 / Online KMS activation methods, with a focus on open-source code and fewer antivirus detections.
wilbowma/my-acmart-template
A template for ACMART papers
wilbowma/obsidian-filename-heading-sync
Obisdian.md plugin to keep the filename and the first header of the file in sync
wilbowma/pl-lt-rules
Rules for writing academic papers and checking them using LTex-ls and LanguageTool
wilbowma/rackunit
wilbowma/rottencreatures
wilbowma/scribble
wilbowma/simplebnf
Simple Backus–Naur form (BNF) LaTeX package
wilbowma/stt-thesis