Copilot-Language

Copilot Language Joined Jun 2015 View on GitHub

Stars
942
across 18 public repos
Rank
#23,783
of 95,324 organizations, top 25%

Repositories with 50+ stars

Copilot-Language's repositories with their overall rank
RankRepositoryLanguageStars
78,138

A stream-based runtime-verification framework for generating hard real-time C code.

Haskell 840

Among 95,324 organizations

630–1k stars: 7,748 organizations, including Copilot-Language

Stars along the bottom, and organizations in each band on a log scale

Where the stars are

copilot 840, 89%
Smaller repos 102, 11%

Languages

  1. Haskell 840 stars, 89% · 1 repo

Quick stats

Next rank
+1 star to reach #23,757
Next milestone
+381 stars to reach the top 20%
Public repos
18, 1 with 50+ stars
Popular repos
1 over 100 stars
Top repo
copilot, #78,138 of all repos, 89% of stars
Smaller repos
102 stars from repos under 50

Stars counted Recounted weekly Next count around