gravatar for tlringer

tlringer tlringer on Github

global / united states / champaign

Languages

5 total

LanguageReposStarsGlobalCountryLocality
all8138231,67232,17552
Coq35598191
TeX2452,3023695
OCaml1387281191
HTML10---
CSS10---

Repos

8 total

RepoLanguageStarsRank
tlringer/plugin-tutorial on Githubplugin-tutorialOCaml38974
tlringer/proof-demos on Githubproof-demosCoq38157
tlringer/ml-for-proofs on Githubml-for-proofsTeX323,080
tlringer/proof-chat-fun on Githubproof-chat-funCoq14377
tlringer/thesis on GithubthesisTeX136,293
tlringer/autoinduct on GithubautoinductCoq31,035
tlringer/tlringer.github.io on Githubtlringer.github.ioHTML0-
tlringer/shutdown-pl on Githubshutdown-plCSS0-

Badges

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

GlobalCountryLocality

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

Locality

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

Preview

Last updated: 2024-11-05T19:08:23.170334798Z Re-sync