Eckart Hertzler (@eckart)
github

eckart

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    35
  • Global Rank 438,984 (Top 16 %)
  • Followers 6
  • Registered about 15 years ago
  • Most used languages
    Idris     100.0 %
  • Location ๐Ÿ‡ฉ๐Ÿ‡ช Germany
  • Country Total Rank 18,927
  • Country Ranking
    Idris     4

Top repositories

1

gl-idris

Idris
13
star
2

SDL2-idris

SDL2 Bindings for the Idris programming language
Idris
10
star
3

cairo-idris

Idris Bindings for libcairo
Idris
6
star
4

idris-tutorial

A tutorial to explain Idris to myself
Idris
3
star
5

glfw-idris

GLFW bindings for Idris
Idris
3
star