Steven Keuchel (@skeuchel)
github

skeuchel

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    19
  • Global Rank 661,842 (Top 23 %)
  • Followers 14
  • Following 3
  • Registered almost 14 years ago
  • Most used languages
    Haskell
         60.0 %
    Coq     40.0 %
  • Location 🇧🇪 Belgium
  • Country Total Rank 2,738
  • Country Ranking
    Coq     2
    Haskell
         17

Top repositories

1

needle

Needle code generator
Haskell
6
star
2

gdtc

Coq
4
star
3

mtc

Coq
3
star
4

language-coq

A pretty-printing solution for the Coq proof assistant language
Haskell
2
star
5

inbound

Haskell
1
star