Trebor Huang's repositories
combinator-nbe
Normalization by evaluation of simply typed combinators.
Down-The-Path
Spartan implementation of H.O.T.T.
vscode-btex
VSCode extension for bTeX.
vscode-forester
VSCode support for Forester
elementary
Elementary functions in Lean
hexo-banana-forest
A hexo plugin for foresting.
CFG-Challenge
A challenge for proof assistants about a particular context-free language.
Numerical-Analysis-Homework
Homework repository for Numerical Analysis course.
stiff-second-order-bvp
A robust adaptive algorithm for stiff second order boundary value problems
agda-categories
A new Categories library for Agda
agda-mode-vscode
agda-mode on VS Code
cubical-classics
An attempt towards univalent classical mathematics in Cubical Agda.
KaTeX
Fast math typesetting for the web.
LieSphereGeometry
An HTML demo for Lie Sphere Geometry
musescore-microtonal-edo-plugin
Microtonal MuseScore plugin to retune notes in any EDO
nbe-for-mltt
Normalization by Evaluation for Martin-Löf Type Theory
Trebor-Huang.github.io
Personal Website