Share :

GaloisInc

Galois, Inc.

@GaloisInc

Portland, OR 🇺🇸

Refresh user

Last updated : 12:37AM UTC, Jun 28th 2021

6 170 - Rank 2 968 🌍

Haskell

Ranking:

World: 12 / 11059

United States of America 🇺🇸: 5 / 2084

Portland: 1 / 82

125 repositories

#12
4 509

HTML

Ranking:

World: 1069 / 267554

United States of America 🇺🇸: 264 / 29901

Portland: 9 / 598

6 repositories

#1069
449

LLVM

Ranking:

World: 10 / 288

United States of America 🇺🇸: 5 / 58

Portland: 1 / 1

2 repositories

#10
236

C

Ranking:

World: 3279 / 151074

United States of America 🇺🇸: 572 / 18420

Portland: 12 / 391

27 repositories

#3279
214

Rust

Ranking:

World: 1328 / 27091

United States of America 🇺🇸: 292 / 4565

Portland: 12 / 141

12 repositories

#1328
177

C++

Ranking:

World: 6202 / 201315

United States of America 🇺🇸: 977 / 22386

Portland: 12 / 375

6 repositories

#6202
117

JavaScript

Ranking:

World: 21414 / 547136

United States of America 🇺🇸: 4527 / 70942

Portland: 123 / 1550

7 repositories

#21414
102

Python

Ranking:

World: 25564 / 483868

United States of America 🇺🇸: 4701 / 58493

Portland: 80 / 929

8 repositories

#25564
74

Makefile

Ranking:

World: 444 / 15335

United States of America 🇺🇸: 90 / 2147

Portland: 4 / 50

1 repository

#444
65

Lean

Ranking:

World: 13 / 170

United States of America 🇺🇸: 2 / 38

Portland: 2 / 4

2 repositories

#13
50

Coq

Ranking:

World: 57 / 737

United States of America 🇺🇸: 19 / 161

Portland: 2 / 7

4 repositories

#57
38

TeX

Ranking:

World: 1091 / 23502

United States of America 🇺🇸: 240 / 3651

Portland: 6 / 55

4 repositories

#1091
38

Shell

Ranking:

World: 12349 / 135079

United States of America 🇺🇸: 2373 / 21113

Portland: 48 / 508

5 repositories

#12349
24

No language

Ranking:

World: 22568 / 531811

United States of America 🇺🇸: 3248 / 43420

Portland: 77 / 741

9 repositories

#22568
23

SMT

Ranking:

World: 18 / 96

United States of America 🇺🇸: 7 / 24

Portland: 1 / 1

1 repository

#18
10

Verilog

Ranking:

World: 774 / 4299

United States of America 🇺🇸: 127 / 565

Portland: 3 / 13

1 repository

#774
7

OCaml

Ranking:

World: 1071 / 3227

United States of America 🇺🇸: 227 / 675

Portland: 7 / 13

2 repositories

#1071
6

Ruby

Ranking:

World: 24833 / 80550

United States of America 🇺🇸: 7170 / 19004

Portland: 263 / 606

1 repository

#24833
6

Assembly

Ranking:

World: 2059 / 10542

United States of America 🇺🇸: 340 / 1462

Portland: 9 / 35

3 repositories

#2059
6

Java

Ranking:

World: 69899 / 311069

United States of America 🇺🇸: 7279 / 27391

Portland: 105 / 391

5 repositories

#69899
5

TypeScript

Ranking:

World: 34750 / 115966

United States of America 🇺🇸: 4567 / 12526

Portland: 84 / 263

3 repositories

#34750
4

Dockerfile

Ranking:

World: 6409 / 20427

United States of America 🇺🇸: 926 / 2499

Portland: 11 / 41

1 repository

#6409
3

C#

Ranking:

World: 51650 / 132947

United States of America 🇺🇸: 6607 / 14209

Portland: 98 / 216

1 repository

#51650
3

CSS

Ranking:

World: 66361 / 129072

United States of America 🇺🇸: 9988 / 16325

Portland: 243 / 367

1 repository

#66361
1

Racket

Ranking:

World: 943 / 1427

United States of America 🇺🇸: 280 / 377

Portland: 11 / 12

1 repository

#943
1

Mathematica

Ranking:

World: 1027 / 1645

United States of America 🇺🇸: 209 / 309

Portland: 5 / 5

1 repository

#1027
1

ASL

Ranking:

World: 558 / 772

United States of America 🇺🇸: 35 / 42

Portland: 1 / 1

1 repository

#558
1