eric schkufza (@eschkufz)
github

eschkufz

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    33
  • Global Rank 458,219 (Top 16 %)
  • Followers 32
  • Following 1
  • Registered over 13 years ago
  • Most used languages
    C++
         50.0 %
    Haskell
         50.0 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 92,435
  • Country Ranking
    Haskell
         812

Top repositories

1

datalog

A datalog prover, written in haskell.
Haskell
11
star
2

patterns

Templated design patterns for c++ projects.
C++
1
star