Lists (10)
Developer Tools
Useful developer tooling.58 repositories
Emacs
Emacs packages and libraries.42 repositories
Fonts
Cool fonts.2 repositories
Game Development and Graphics
Programs, libraries and tools pertaining to game development and graphics.17 repositories
Libraries
Useful libraries.96 repositories
Maths
Anything related to mathematics.20 repositories
Minecraft
Minecraft mods and tools.8 repositories
Programming Languages
Anything related to programming languages (theory, design, and implementation).43 repositories
Starred repositories
4
results
for source starred repositories
written in Agda
Clear filter
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT