gravatar for Isaac-DeFrain

Isaac-DeFrain Isaac-DeFrain on Github

global / canada

Languages

16 total

LanguageReposStarsGlobalCountry
all4963378,0398,851
OCaml153083413
TLA222342
Rust4531,462813
unknown94289,3804,900
Python411,060,51718,771
Haskell3112,543331
Solidity10--
Shell10--
Standard ML10--
Scala20--
JavaScript10--
C++10--
TypeScript10--
HTML10--
Go20--
TeX10--

Repos

49 total

RepoLanguageStarsRank
Isaac-DeFrain/TLAplusFun on GithubTLAplusFunTLA2236
Isaac-DeFrain/simple-compiler on Githubsimple-compilerOCaml112,758
Isaac-DeFrain/KFramework on GithubKFrameworkOCaml83,574
Isaac-DeFrain/model-based-trace-checking on Githubmodel-based-trace-checkingRust555,696
Isaac-DeFrain/dependent on GithubdependentOCaml45,425
Isaac-DeFrain/RChainResearch on GithubRChainResearchunknown2698,713
Isaac-DeFrain/ProgrammingWithCategories on GithubProgrammingWithCategoriesunknown2675,875
Isaac-DeFrain/Todo on GithubTodoOCaml27,679
Isaac-DeFrain/expenses on GithubexpensesOCaml27,631
Isaac-DeFrain/liveness-checking on Githubliveness-checkingOCaml27,584

Badges

Get your badge to use on GitHub or websites using the code below

GlobalCountry

Global

Displays global rankings for all languages plus top two languages by stars

Preview

Country

Displays country rankings for all languages plus top two languages by stars

Preview

Last updated: 2024-06-05T23:47:52.365484894Z Re-sync