cmcmA20's repositories
prsa-examples
learning PRSA
1lab
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
Language:AgdaAGPL-3.0000
agda
Agda is a dependently typed programming language / interactive theorem prover.
Language:HaskellNOASSERTION000
agda-bench
Benchmarking tool for compile-time performance of Agda programs
Language:HaskellMIT000
agda-categories
A new Categories library for Agda
Language:AgdaMIT000
agda-stdlib
The Agda standard library
Language:AgdaNOASSERTION000
agdARGS
Dealing with Flags and Options
Language:Agda000
agdarsec
Total Parser Combinators in Agda
Language:AgdaGPL-3.0000
cmcm-skel
my own profile files
Language:Shell000
Language:Idris000
cubical
An experimental library for Cubical Agda
Language:AgdaNOASSERTION000
Language:AgdaMIT000
Language:AgdaMIT000
logrel-guarded
Guarded logical relations
Language:Agda000
logrel-mltt
A Logical Relation for Martin-Löf Type Theory in Agda
MIT000
mec-tools
Tools for modifying Lenovo embedded controller firmware
Language:CUnlicense000
ohtt
H.O.T.T. using rewriting in Agda
000
plfa
An introduction to programming language theory in Agda
Language:AgdaCC-BY-4.0000
scope-graph
Scope graphs with modern Agda
sinCT
dabbling in julia cats
Language:JuliaAGPL-3.0000
ternary.agda
An Agda library for programming with ternary relations
000