Repos by cedille

cedille / repos

8 repos

«1»
RepoLanguageStarsRank
cedille/cedille on GithubcedilleAgda3585
cedille/ial on GithubialAgda4262
cedille/cedille-developments on Githubcedille-developmentsHaskell362,454
cedille/cedille-cast on Githubcedille-castunknown12131,206
cedille/icfp18-tutorial on Githubicfp18-tutorialTeX512,868
cedille/cedille2 on Githubcedille2Rust374,046
cedille/cedille.github.io on Githubcedille.github.ioShell2185,134
cedille/agda-performance-experiments on Githubagda-performance-experimentsAgda0-