Repos by wilbowma

wilbowma / repos

52 repos

«1234...6»
RepoLanguageStarsRank
wilbowma/agda-experiments on Githubagda-experimentsAgda3586
wilbowma/pgmp on GithubpgmpRacket22,509
wilbowma/dep-types-101 on Githubdep-types-101Racket22,453
wilbowma/ubc-letter-template on Githububc-letter-templateTeX226,806
wilbowma/who-self-phishes-the-self-phishers on Githubwho-self-phishes-the-self-phishersunknown2649,598
wilbowma/crash-coq on Githubcrash-coqOCaml27,543
wilbowma/retex on GithubretexRacket14,982
wilbowma/cunittest on GithubcunittestPython12,670,496
wilbowma/simply-typed-proofs on Githubsimply-typed-proofsRacket14,561
wilbowma/s3ql-rotating-snapshots on Githubs3ql-rotating-snapshotsShell1389,511