Explore @o4 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.

Python

HTML

Clojure

F#

Rust

C#

CSS

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.

Racket

Groovy

Elm

PHP

Swift

F#

C

Julia

More Languages
By Country

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

🇱🇾 Libya

🇬🇩 Grenada

🇸🇸 South Sudan

🇹🇼 Taiwan

🇨🇿 Czechia

🇰🇲 Comoros

🇹🇹 Trinidad and Tobago

🇧🇼 Botswana

All Countries Compare Countries

O4 ECO (@o4)

o4

Stars
6
Global Org. Rank 188,598 (Top 60 %)
Registered almost 6 years ago
Most used languages

Agda 100.0 %
Location <UNKNOWN>
Country Total Rank 3,135

proto

Minimal bindings to base library

n2o