Matthew Kolosick (@mkolosick)
github

mkolosick

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    29
  • Global Rank 505,517 (Top 18 %)
  • Followers 9
  • Following 2
  • Registered about 11 years ago
  • Most used languages
    Coq     33.3 %
    Racket
         33.3 %
    Shell
         33.3 %

Top repositories

1

agnoster-light

Shell
11
star
2

Sublime-Coq

Syntax highlighting for the Coq programming language
9
star
3

Software-Foundations-Exercises

Exercises in Software Foundations
Coq
4
star
4

composer

Racket
3
star