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

HTML

Crystal

Scala

Go

Ruby

Shell

Nix

Java

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

Ada

Scala

Zig

Racket

Java

Crystal

Go

More Languages
By Country

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

🇸🇦 Saudi Arabia

🇲🇰 North Macedonia

🇨🇺 Cuba

🇻🇪 Venezuela

🇦🇴 Angola

🇱🇺 Luxembourg

🇬🇹 Guatemala

🇲🇳 Mongolia

All Countries Compare Countries

Samuel Balco (@goodlyrottenapple)

goodlyrottenapple

Stars
9
Global Rank 1,034,169 (Top 36 %)
Followers 19
Following 9
Registered almost 10 years ago
Most used languages

Haskell
66.7 %

Isabelle 16.7 %

Scala
16.7 %
Location 🇬🇧 United Kingdom
Country Total Rank 32,257
Country Ranking

Isabelle 15

Haskell
244

Scala
942

quickjs-hs

Haskell bindings for the QuickJS library

calculus-toolbox-2

New version of the calculus toolbox

isabelle-syllogisms

Isabelle/HOL formalisation of simple syllogistic logics

Holiday-inator-3000

POStagger

A Part-Of-Speech tagger using the Viterbi algorithm

muddy-children

The Muddy Children Puzzle formalised in Isabelle 2016