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

PowerShell

Swift

Python

Shell

Crystal

OCaml

Julia

Lua

More Languages
Awesome

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

Ada

R

Dart

Racket

Rust

Go

Elm

PHP

More Languages
By Country

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

🇸🇪 Sweden

🇭🇲 Heard Island and McDonald Islands

🇱🇧 Lebanon

🇮🇳 India

🇨🇳 China

🇬🇭 Ghana

🇭🇹 Haiti

🇯🇴 Jordan

All Countries Compare Countries

Alex Kavvos (@lambdabetaeta)

lambdabetaeta

Stars
22
Global Rank 600,603 (Top 21 %)
Followers 33
Following 24
Registered almost 10 years ago
Most used languages

Agda 66.7 %

TeX
33.3 %
Location 🇩🇰 Denmark
Country Total Rank 2,174
Country Ranking

Agda 2

TeX
177

modal-logics

Agda formalisation of dual-context constructive modal logics.

pls-tt-tutorial

unquote-n