gravatar for opencompl

opencompl opencompl on Github

global

Languages

9 total

LanguageReposStarsGlobal
all27212160,176
Lean56540
MLIR14013
C++33337,150
TeX1273,306
Python917176,349
C51644,338
GAP11459
unknown10-
GCC Machine Description10-

Repos

27 total

RepoLanguageStarsRank
opencompl/lean-mlir on Githublean-mlirLean4772
opencompl/ssa on GithubssaMLIR4014
opencompl/paper-template on Githubpaper-templateTeX273,301
opencompl/C-parsing-for-Lean4 on GithubC-parsing-for-Lean4C1557,469
opencompl/lean-gap on Githublean-gapGAP1449
opencompl/mlir-fuzz on Githubmlir-fuzzC++1482,567
opencompl/dyn-dialect on Githubdyn-dialectC++1292,785
opencompl/egg-tactic-code on Githubegg-tactic-codeLean12200
opencompl/QMLIR on GithubQMLIRC++7134,479
opencompl/smt-dialect on Githubsmt-dialectPython7429,823

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-21T19:06:16.663138429Z Re-sync