Tim Carstens (@intoverflow)
github

intoverflow

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    41
  • Global Rank 392,268 (Top 14 %)
  • Followers 89
  • Following 136
  • Registered over 14 years ago
  • Most used languages
    Haskell
         66.7 %
    Lean     33.3 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 75,116
  • Country Ranking
    Lean     116
    Haskell
         419

Top repositories

1

Potential

x86-64 assembly as a Haskell EDSL
Haskell
36
star
2

InterpoliqueQQ

Dan Kaminsky's Interpolique as a Haskell quasi-quoter
Haskell
3
star
3

timesink

Math and math accessories. A place where I blow off some steam in the Lean proof assistant.
Lean
1
star