Repos by DavePearce

DavePearce / repos

70 repos

«12...7»
RepoLanguageStarsRank
DavePearce/DynamicTopologicalSort on GithubDynamicTopologicalSortC++1579,219
DavePearce/FeatherweightRust on GithubFeatherweightRustJava13102,443
DavePearce/jx86 on Githubjx86Java12111,752
DavePearce/jkit on GithubjkitJava11119,912
DavePearce/StronglyConnectedComponents on GithubStronglyConnectedComponentsJava10126,866
DavePearce/JavaAVR on GithubJavaAVRJava9136,674
DavePearce/LeanEVM on GithubLeanEVMLean6335
DavePearce/JModelGen on GithubJModelGenJava3329,834
DavePearce/TuttePolynomial on GithubTuttePolynomialC2276,240
DavePearce/TinyBoy on GithubTinyBoyJava2552,513