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

Crystal

JavaScript

F#

Jupyter Notebook

Shell

Python

PowerShell

Kotlin

More Languages
Awesome

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

Zig

Lua

Shell

JavaScript

Ruby

Perl

Ada

Rust

More Languages
By Country

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

🇦🇼 Aruba

🇹🇱 Timor-Leste

🇲🇳 Mongolia

🇸🇳 Senegal

🇸🇰 Slovakia

🇫🇯 Fiji

🇳🇬 Nigeria

🇮🇶 Iraq

All Countries Compare Countries

Andrej Tokarčík (@andrejtokarcik)

andrejtokarcik

Stars
8
Global Rank 1,106,139 (Top 39 %)
Followers 3
Following 1
Registered over 14 years ago
Most used languages

Agda 50.0 %

Python
50.0 %
Location 🇸🇰 Slovakia
Country Total Rank 871
Country Ranking

Agda 1

Python
259

agda-semantics

An executable formal semantics of Agda in K

trac-progressmetermacro

Progress meter wiki macro plugin for Trac