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

Nix

Clojure

TypeScript

HTML

OCaml

Swift

Solidity

C#

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

Erlang

Crystal

Shell

Ada

Zig

Elixir

C

More Languages
By Country

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

🇱🇾 Libya

🇮🇷 Iran

🇦🇼 Aruba

🇧🇴 Bolivia

🇬🇳 Guinea

🇹🇴 Tonga

🇺🇾 Uruguay

🇹🇹 Trinidad and Tobago

All Countries Compare Countries

Zak Kincaid (@zkincaid)

zkincaid

Stars
38
Global Rank 413,863 (Top 15 %)
Followers 46
Registered over 11 years ago
Most used languages

OCaml
75.0 %

SMT 25.0 %
Location 🇺🇸 United States
Country Total Rank 85,444
Country Ranking

SMT 25

OCaml
153

duet

Duet: static analysis for unbounded concurrency

srk

Symbolic Reasoning Kit

ocaml-mathsat

OCaml bindings for MathSAT 5

bench