Andrej Bauer's starred repositories
elaboration-zoo
Minimal implementations for dependent type checking and elaboration
agda-categories
A new Categories library for Agda
HoTT-Intro
An introductory course to Homotopy Type Theory
TypeTopology
Logical manifestations of topological concepts, and other things, via the univalent point of view.
agda-unimath
The agda-unimath library
javascript-camera
Access device cameras via JavaScript APIs
general-type-theories
A (formalised) general definition of type theories
pca-realizability
Partial combinatory algebras and realizability interpretations of arithmetic, in Coq.
hott-species
Combinatorial species in HoTT
lean4export
Plain-text declaration export for Lean 4
wordpress2jekyll
Export from a WordPress blog to Jekyll.
webgl-julia-viewer
Real-time Julia Set renderer right in your browser, accelerated with WebGL