Trending repositories

Ranked by Attention Score: stars gained over the last 30 complete days

Period

Sort order

Tags: All Tags

1.jgrivera67 / HiRTOS

HiRTOS: a high-integrity multi-core RTOS kernel and separation kernel written in SPARK Ada

Ada APACHE-2.057 total3 forks

+3 stars

from 54 · score 1.39

2.AdaCore / RecordFlux

Formal specification and generation of verifiable binary parsers, message generators and protocol state machines

parser
binary-parser
ada
spark
formal-verification
formal-specification
+5 more

Ada APACHE-2.0131 total10 forks

+2 stars

from 129 · score 1.10

3.pyjarrett / septum

Context-based code search tool

septum
text
search-in-text
grep
grep-like
grep-search
+1 more

Ada APACHE-2.0463 total14 forks

+1 stars

from 462 · score 0.69

4.stcarrez / ada-util

Ada Utility Library - Composing streams, processes, logs, serialization, encoders and more

logging
process
streams
serializer
json
beans
+1 more

Ada APACHE-2.084 total19 forks

+1 stars

from 83 · score 0.69

5.lasp / adamant

A model-based flight software framework for Ada

ada
ada-spark
adamant
flight-software
fsw
safety-critical

Ada APACHE-2.051 total12 forks

+1 stars

from 50 · score 0.69

Order: Attention Score

Most net stars gained in the window first. The score only puts this gain on a log scale, so the order is the order of the gain.

How the ranking works

Ranked by stars gained in the window. The score is the natural log of one plus that gain, so a repository's rank is exactly its star gain's rank.

score = log1p(net stars gained in the trailing T complete UTC days)

A repository is ranked only when its Star History covers every day of the window and its latest Observation is not missing.

The longest window is 180 days. Star History from the Repository Host goes back at most 180 days before the first daily record that AwesomeRepos made for the repository. A longer window needs more of these daily records first. A repository younger than the window does not rank in it.

The filters select from the same eligible repositories. A repository matches the topics when it has any of them. Total stars is the count now. Last push and creation on the Repository Host count back from the start of today (UTC). The counts beside the languages, licenses, and topics include all ranked repositories in the window. A Tag holds the repositories that have it. See Tags.

A new repository enters the index when it gains stars faster than the published admission threshold, whatever its size. A repository stays in the index after it enters. Thus an archived repository can still rank.

Browse the Repository Index