Erik Ernst (@eernstg)
github

eernstg

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    45
  • Global Rank 365,298 (Top 13 %)
  • Followers 180
  • Registered almost 10 years ago
  • Most used languages
    Dart
         66.7 %
    Coq     33.3 %
  • Location 🇩🇰 Denmark
  • Country Total Rank 1,450
  • Country Ranking
    Dart
         7
    Coq     15

Top repositories

1

reflectable-flutter

Dart
39
star
2

coq-voidness

Coq
2
star
3

extension_type_unions

Simple union types based on extension types
Dart
2
star