Mike Shulman's repositories
cohesivett
Cohesive type theory
agda-infinity-categories
Infinity categories in agda
agda-nr-cats
(n,r)-categories in agda
agda
Agda is a dependently typed programming language / interactive theorem prover.
algaeff
🦠 Reusable components based on algebraic effects
andromeda
A minimalist implementation of type theory, suitable for experimentation
fmlib
Functional Monadic Library for Ocaml
HoTT-Agda
Development of homotopy type theory in Agda
nlab-core
Source code for the nLab
ocaml-bwd
🔙 Backward lists for OCaml
plfa.github.io
An introduction to programming language theory in Agda
smbicat
Constructing symmetric monoidal bicategories
webwork-open-problem-library
A library of WeBWorK problem contributed by the OpenWeBWorK community
webwork2
Course management front end for WeBWorK
wwprobs
Custom WeBWorK problems, often highly randomized
yuujinchou
👹 A library for hierarchical names and lexical scoping