Colin S. Gordon (@csgordon)
github

csgordon

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    66
  • Global Rank 280,620 (Top 10 %)
  • Followers 59
  • Following 14
  • Registered about 13 years ago
  • Most used languages
    Coq     50.0 %
    Haskell
         20.0 %
    Java
         20.0 %
    Rust
         10.0 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 56,722
  • Country Ranking
    Coq     46
    Haskell
         403
    Rust
         8,481

Top repositories

1

cayenne

Resurrecting Lennart Augustsson's implementation of Cayenne
Haskell
36
star
2

coq-fsharp

Libraries and tools for extracting Coq code to F#
Coq
13
star
3

rghaskell

Porting a variant of rely-guarantee references to Liquid Haskell
Haskell
6
star
4

guarded-recursion

Playing with guarded recursion in Coq and Agda
Coq
4
star
5

javaui

A Java compiler plugin to prevent invalid thread accesses when writing GUIs.
Java
2
star
6

csgordon

Github Profile README
1
star
7

rgref

Prototype Implementation of Rely-Guarantee References as a Coq DSL
Coq
1
star
8

bedrock

A fork of Chlipala's Bedrock Coq DSL (http://plv.csail.mit.edu/bedrock/)
Coq
1
star
9

cs647template

Java
1
star
10

ir441

Rust
1
star
11

rgref-concurrent

Concurrency fork of rely-guarantee references
Coq
1
star