Kevin Clancy (@kevinclancy)
github

kevinclancy

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    15
  • Global Rank 765,281 (Top 27 %)
  • Followers 13
  • Following 15
  • Registered over 12 years ago
  • Most used languages
    F#
         66.7 %
    Haskell
         33.3 %
  • Location 🇺🇸 United States
  • Country Total Rank 130,419
  • Country Ranking
    F#
         344
    Haskell
         1,470

Top repositories

1

levitate

Utilities for verified floating-point computation in Haskell: Controlled rounding, interval arithmetic, and affine arithmetic.
Haskell
4
star
2

monotonicity-coeffects

F#
1
star
3

SchemaTypes

Dependently typed schema language for MUMPS
F#
1
star