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

MATLAB

Shell

Perl

Crystal

Scala

Julia

Assembly

Groovy

More Languages
Awesome

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

Perl

Dart

Rust

Python

Erlang

TypeScript

Clojure

MATLAB

More Languages
By Country

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

🇰🇭 Cambodia

🇨🇱 Chile

🇮🇳 India

🇹🇰 Tokelau

🇸🇾 Syria

🇰🇪 Kenya

🇦🇿 Azerbaijan

🇭🇰 Hong Kong

All Countries Compare Countries

Emina Torlak (@emina)

emina

Stars
717
Global Rank 41,968 (Top 2 %)
Followers 293
Registered over 13 years ago
Most used languages

Java
25.0 %

Racket
25.0 %

C
25.0 %

HTML
25.0 %
Location 🇺🇸 United States
Country Total Rank 11,624
Country Ranking

Racket
6

Java
2,929

rosette

The Rosette solver-aided host language, sample solver-aided DSLs, and demos

kodkod

Kodkod solver for relational logic

minisatp

MiniSat v1.14 with proof logging

emina.github.io