Stars
9
results
for source starred repositories
Clear filter
Empowering everyone to build reliable and efficient software.
Resumes generated using the GitHub informations
This library has been moved to https://github.com/ntumlgroup/LibMultiLabel
Algebra of Programming in Agda: Dependent Types for Relational Program Derivation
Addon for firefox to upload image to Imgur