Discover @hedengran 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.

JavaScript

Python

Ruby

MATLAB

C#

Go

Kotlin

Elixir

More Languages
Awesome

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

Ruby

Zig

Python

Go

MATLAB

PHP

Kotlin

R

More Languages
By Country

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

🇷🇺 Russia

🇸🇨 Seychelles

🇵🇬 Papua New Guinea

🇨🇽 Christmas Island

🇭🇳 Honduras

🇹🇰 Tokelau

🇬🇦 Gabon

🇳🇬 Nigeria

All Countries Compare Countries

Gustav Hedengran (@hedengran)

hedengran

Stars
1
Global Rank 2,812,146 (Top 99 %)
Followers 9
Following 5
Registered over 8 years ago
Most used languages

Standard ML 100.0 %
Location 🇸🇪 Sweden
Country Total Rank 15,631
Country Ranking

Standard ML 11

compositionality

A HOL4 formalization of contract theory for proving compositionality.