Gordon Stewart (@gstew5)
github

gstew5

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    86
  • Global Rank 231,664 (Top 8 %)
  • Followers 43
  • Following 6
  • Registered over 12 years ago
  • Most used languages
    Coq     50.0 %
    Rust
         16.7 %
    OCaml
         16.7 %
    Haskell
         16.7 %
  • Location 🇺🇸 United States
  • Country Total Rank 48,296
  • Country Ranking
    Coq     52
    Haskell
         335
    OCaml
         431
    Rust
         3,667

Top repositories

1

snarkl

Haskell
59
star
2

cs4100-sp19

Course website for the Spring 2019 offering of Ohio University CS 4100
Rust
10
star
3

games

Coq
7
star
4

cage

Coq
6
star
5

cs4100-public

Public resources for OU CS4100 Compilers
OCaml
5
star
6

ecc

Coq
1
star