Discover @eernstg Open Source projects

Top Rating
- Top Contributors
  Discover the Top Open Source contributors by country or by language
- Interviews
  Discover real stories from Open Source developers
Discover

Discover your Favorite Language
Discover the top trending repositories and projects on Github. Explore the latest trends in your preferred languages.

C++

Objective-C

C

Java

Kotlin

Scala

Elixir

Julia

More Languages
Awesome

Awesome repositories
Discover the most awesome repositories and projects of your favorite languages. Inspired by the Awesome-* lists trend in GitHub.

Clojure

Java

Dart

Rust

C#

Lua

Perl

Elm

More Languages
By Country

Rankings by Country
Discover the community of talented open source contributors in each country.

🇸🇲 San Marino

🇨🇱 Chile

🇯🇴 Jordan

🇬🇷 Greece

🇵🇲 Saint Pierre and Miquelon

🇲🇪 Montenegro

🇲🇬 Madagascar

🇨🇳 China

All Countries Compare Countries

Erik Ernst (@eernstg)

eernstg

Stars
45
Global Rank 367,370 (Top 13 %)
Followers 180
Registered about 10 years ago
Most used languages

Dart
66.7 %

Coq 33.3 %
Location 🇩🇰 Denmark
Country Total Rank 1,450
Country Ranking

Dart
7

Coq 16

reflectable-flutter

coq-voidness

extension_type_unions

Simple union types based on extension types