Git Stars - SRI-CSL

Home
Users
SRI-CSL

Share :

SRI-CSL

SRI International's Computer Science Laboratory

@SRI-CSL

Menlo Park, California 🇺🇸

Refresh user

Last updated : 01:29AM UTC, Aug 6th 2021

1 030 - Rank 19 020 🌍

SMT

Ranking:

World: 3 / 96

United States of America 🇺🇸: 2 / 24

Menlo Park: 1 / 2

#3
259

C++

Ranking:

World: 4509 / 201315

United States of America 🇺🇸: 740 / 22386

Menlo Park: 10 / 85

15 repositories

#4509
178

Go

Ranking:

World: 4117 / 78747

United States of America 🇺🇸: 864 / 10841

Menlo Park: 4 / 29

#4117
151

C

Ranking:

World: 5032 / 151074

United States of America 🇺🇸: 842 / 18420

Menlo Park: 8 / 63

21 repositories

#5032
120

Python

Ranking:

World: 18465 / 483868

United States of America 🇺🇸: 3501 / 58493

Menlo Park: 23 / 143

20 repositories

#18465
115

Common Lisp

Ranking:

World: 199 / 2407

United States of America 🇺🇸: 57 / 495

Menlo Park: 1 / 1

#199
79

Ruby

Ranking:

World: 7187 / 80550

United States of America 🇺🇸: 2400 / 19004

Menlo Park: 5 / 32

#7187
41

LLVM

Ranking:

World: 26 / 288

United States of America 🇺🇸: 9 / 58

Menlo Park: 1 / 2

#26
34

Java

Ranking:

World: 30120 / 311069

United States of America 🇺🇸: 3335 / 27391

Menlo Park: 14 / 75

#30120
18

No language

Ranking:

World: 31669 / 531811

United States of America 🇺🇸: 4374 / 43420

Menlo Park: 14 / 77

#31669
15

OCaml

Ranking:

World: 929 / 3227

United States of America 🇺🇸: 203 / 675

Menlo Park: 3 / 5

#929
8

NewLisp

Ranking:

World: 14 / 84

United States of America 🇺🇸: 4 / 11

Menlo Park: 1 / 1

#14
7

Clojure

Ranking:

World: 4620 / 7373

United States of America 🇺🇸: 1193 / 1854

Menlo Park: 3 / 3

#4620
2

Kotlin

Ranking:

World: 25212 / 33498

United States of America 🇺🇸: 1680 / 2100

Menlo Park: 5 / 6

#25212
1

Shell

Ranking:

World: 107053 / 135079

United States of America 🇺🇸: 17615 / 21113

Menlo Park: 28 / 34

#107053
1

Assembly

Ranking:

World: 7873 / 10542

United States of America 🇺🇸: 1168 / 1462

Menlo Park: 3 / 3

#7873
1