Pinned Repositories
1lab
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
agda
Agda is a dependently typed programming language / interactive theorem prover.
agda-bench
Benchmarking tool for compile-time performance of Agda programs
agda-categories
A new Categories library for Agda
cubical-mini
cv
CV
descheme
klac
KL Agda course
plzoo-hs
The Programming Languages Zoo
prsa-examples
learning PRSA
cmcmA20's Repositories
cmcmA20/cubical-mini
cmcmA20/klac
KL Agda course
cmcmA20/descheme
cmcmA20/plzoo-hs
The Programming Languages Zoo
cmcmA20/prsa-examples
learning PRSA
cmcmA20/1lab
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
cmcmA20/agda
Agda is a dependently typed programming language / interactive theorem prover.
cmcmA20/agda-bench
Benchmarking tool for compile-time performance of Agda programs
cmcmA20/agda-categories
A new Categories library for Agda
cmcmA20/agda-stdlib
The Agda standard library
cmcmA20/agdARGS
Dealing with Flags and Options
cmcmA20/agdarsec
Total Parser Combinators in Agda
cmcmA20/arend-playground
cmcmA20/asterisk-lua-pbx-example
cmcmA20/cmcm-skel
my own profile files
cmcmA20/cv
CV
cmcmA20/ComputerScienceGuys
cmcmA20/cubical
An experimental library for Cubical Agda
cmcmA20/finite
cmcmA20/generics
cmcmA20/logrel-guarded
Guarded logical relations
cmcmA20/logrel-mltt
A Logical Relation for Martin-Löf Type Theory in Agda
cmcmA20/mec-tools
Tools for modifying Lenovo embedded controller firmware
cmcmA20/ohtt
H.O.T.T. using rewriting in Agda
cmcmA20/plfa
An introduction to programming language theory in Agda
cmcmA20/scope-graph
Scope graphs with modern Agda
cmcmA20/sinCT
dabbling in julia cats
cmcmA20/ternary.agda
An Agda library for programming with ternary relations