gravatar for CatalaLang

CatalaLang CatalaLang on Github

global

Languages

7 total

LanguageReposStarsGlobal
all121,96325,956
OCaml21,92926
ReScript413123
F*1824
Python27323,913
Coq13719
Makefile1312,327
HTML10-

Repos

12 total

RepoLanguageStarsRank
CatalaLang/catala on GithubcatalaOCaml1,92519
CatalaLang/catala-website on Githubcatala-websiteReScript9225
CatalaLang/dates-calc on Githubdates-calcF*825
CatalaLang/french-law on Githubfrench-lawPython6461,436
CatalaLang/ninja_utils on Githubninja_utilsOCaml45,254
CatalaLang/catala-formalization on Githubcatala-formalizationCoq3992
CatalaLang/catala-explain on Githubcatala-explainReScript3375
CatalaLang/catala-examples on Githubcatala-examplesMakefile311,557
CatalaLang/catala-dsfr on Githubcatala-dsfrReScript1688
CatalaLang/catleg on GithubcatlegPython11,517,952

Badges

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

Global

Global

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

Preview

Last updated: 2024-05-14T09:03:49.308946496Z Re-sync