bond15's repositories
Polynomials-Categorically
Polynomial Functors in Agda
Dialectica
2022 AMS MRC on Applied Category Theory.
Presentations
Type Theory, Theory of Computation, Quantum Computation, Algebra, ..
CTT
Learning Cubical Type Theory
Language:Agda000
Language:Agda000
agda-categories
A new Categories library for Agda
Language:Agda000
ArendProofs
Explorations into Cubical Type Theory in the Arend Proof Assistant.
bond15.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
categories-examples
Examples of categorical structures
Category-Theory
Help, I don't know what I'm doing
DialecticaCategories
A place to collect work on dialectica categories.
Language:TeX000
Haskell-Concurrent-and-Parallel
Sandbox for 'Parallel and Concurrent Programming in Haskell'
Profunctor-Optics
learning
scala-seed.g8
Giter8 template for a simple hello world app in Scala.
tool_lists
Links to tools by subject
VeLLVM-Exploration
Trying Out VeLLVM for a compilers project
Language:Coq000