Discover @Kiarahmani 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

R

TypeScript

Kotlin

Crystal

PHP

CoffeeScript

Dart

More Languages
Awesome

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

Java

Dart

TypeScript

C++

Objective-C

Go

Lua

Ruby

More Languages
By Country

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

🇰🇭 Cambodia

🇾🇹 Mayotte

🇬🇹 Guatemala

🇵🇱 Poland

🇰🇿 Kazakhstan

🇵🇼 Palau

🇮🇶 Iraq

All Countries Compare Countries

Kia Rahmani (@Kiarahmani)

Kiarahmani

Stars
11
Global Rank 920,445 (Top 32 %)
Followers 23
Following 60
Registered about 9 years ago
Most used languages

Coq 25.0 %

C++
25.0 %

Haskell
25.0 %

Java
25.0 %
Location 🇺🇸 United States
Country Total Rank 151,664
Country Ranking

Coq 98

Haskell
3,044

Quelea_Coq_Imp

Coq Implementation of Quelea

CLOTHO

Directed Test Generation for Weakly Consistent Database Systems

BankAccount

em_synthesis

ivy_pg

playground for ivy verification tool