SRI-CSL

Languages

20 total

Language	Repos	Stars	Global	Country	Locality
all	97	1,486	33,118	5,290	26
SMT	1	351	3	2	1
Go	2	279	6,334	1,034	5
C++	9	232	8,797	1,094	11
C	15	169	8,700	1,157	9
Python	27	136	39,875	6,076	30
Common Lisp	2	133	227	49	1
LLVM	1	55	50	14	1
Ruby	2	46	10,312	2,989	6
OCaml	5	18	1,121	176	4
Java	5	17	68,553	6,309	23
unknown	11	16	96,270	11,578	31
Jupyter Notebook	6	13	43,241	6,840	28
NewLisp	1	8	27	3	1
eC	1	8	7	3	1
Clojure	1	2	7,782	1,770	3
Shell	1	1	262,037	32,544	49
Rust	4	1	81,381	10,059	18
Kotlin	1	1	93,789	4,612	9
Solidity	1	0	-	-	-
Dockerfile	1	0	-	-	-

Repos

97 total

Repo	Language	Stars	Rank
yices2	SMT	351	3
gllvm	Go	278	7,973
PVS	Common Lisp	126	201
stegotorus	C++	75	23,825
sally	C++	69	25,436
Maude	C++	66	26,146
llvm2smt	LLVM	55	51
libpoly	C	44	26,756
l3riscv	Ruby	40	14,687
NTT	C	33	32,576

Badges

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

Global Country Locality

Global

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

<a href="https://stardev.io/developers/SRI-CSL"><img alt="Check out SRI-CSL's profile on stardev.io" src="https://stardev.io/developers/SRI-CSL/badge/languages/global.svg" /></a>

Preview

Country

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

<a href="https://stardev.io/developers/SRI-CSL"><img alt="Check out SRI-CSL's profile on stardev.io" src="https://stardev.io/developers/SRI-CSL/badge/languages/country.svg" /></a>

Preview

Locality

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

<a href="https://stardev.io/developers/SRI-CSL"><img alt="Check out SRI-CSL's profile on stardev.io" src="https://stardev.io/developers/SRI-CSL/badge/languages/locality.svg" /></a>

Preview

Last updated: 2024-04-22T18:52:51.740840918Z Re-sync