Explore @herd 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.

C

Assembly

CoffeeScript

Nix

JavaScript

Scala

Kotlin

Swift

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

Erlang

R

Zig

Swift

Groovy

MATLAB

Crystal

More Languages
By Country

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

🇧🇯 Benin

🇫🇯 Fiji

🇨🇼 Curaçao

🇦🇼 Aruba

🇧🇫 Burkina Faso

🇮🇷 Iran

🇧🇻 Bouvet Island

🇭🇷 Croatia

All Countries Compare Countries

@herd

herd

Stars
224
Global Org. Rank 38,060 (Top 13 %)
Registered almost 11 years ago
Most used languages

OCaml
50.0 %

Coq 50.0 %

herdtools7

The Herd toolsuite to deal with .cat memory models (version 7.xx)

CoqCat

Coq formalisation of axiomatic memory models