Top Idris Organizations
SrcLog ranks 3 Idris organizations on GitHub by the total stars of their public repositories. Together they hold 3,593 stars. The most-starred is idris-lang with 3,102 stars across 1 repository. Updated daily.
-
1
idris-lang — Idris ⭐ 3.1k · 🍴 423 · 👀 59 · 1 repos 1 3.1k 423 59
-
2
idris-hackers — Idris ⭐ 459 · 🍴 36 · 👀 27 · 1 repos 1 459 36 27
-
3
idris-industry — Idris ⭐ 32 · 🍴 3 · 👀 5 · 1 repos 1 32 3 5
Other technologies
- Top JavaScript organizations
- Top TypeScript organizations
- Top Python organizations
- Top Go organizations
- Top Java organizations
- Top PHP organizations
- Top C++ organizations
- Top Rust organizations
- Top C# organizations
- Top HTML organizations
- Top C organizations
- Top Shell organizations
- Top Ruby organizations
- Top Swift organizations
- Top Kotlin organizations
- Top CSS organizations
- Top Jupyter Notebook organizations
- Top Vue organizations
- Top Scala organizations
- Top Dart organizations
- Top Elixir organizations
- Top SCSS organizations
- Top Lua organizations
- Top Clojure organizations
- Top Haskell organizations
- Top R organizations
- Top Dockerfile organizations
- Top TeX organizations
- Top Objective-C organizations
- Top Perl organizations