Sign in

affeldt-aist /infotheo

A Rocq formalization of information theory and linear error-correcting codes

Stars
76 stars
Forks
21 forks
Language
Rocq Prover
License
LGPL-2.1
Created
Dec 20, 2017
Last push
Oct 31, 2026
Updated
Oct 31, 2026

In the Repository Index from the Seed Dataset since Oct 22, 2026.

Star History

187 days recorded, May 1, 2026 – Nov 3, 2026 (UTC). Net change +1 stars.

Stars at the end of each day76 now
May 1, 2026Nov 3, 2026
Net stars each dayhighest +1
+1 on May 1, 20260.9.8, Sep 20, 2026
May 1, 2026Nov 3, 2026

The star count of each day is the latest count less the net stars of the later days.

Add this Star History to a README

The images follow the light or dark theme of the page that shows them, and update every hour. Add ?theme=light or ?theme=darkto the chart address to keep one theme.

Star History chart

[![Star History of affeldt-aist/infotheo](https://awesomerepos.com/affeldt-aist/infotheo/stars.svg)](https://awesomerepos.com/affeldt-aist/infotheo)

Badge

[![AwesomeRepos](https://awesomerepos.com/affeldt-aist/infotheo/badge.svg)](https://awesomerepos.com/affeldt-aist/infotheo)

Timeline

This repository got 1 star on May 1, 2026, its largest day since May 1, 2026.

It gained stars on 1 of the 187 days with a record.

Its largest 7 days were May 1, 2026 to May 7, 2026: 1 star.

It had 75 stars before May 1, 2026 and has 76 stars now: 24 fewer than 100.

Its latest release is 0.9.8, published on Sep 20, 2026.

  1. Created on the Repository Host
  2. Release 0.9.4: Infotheo 0.9.4
  3. Release 0.9.5: Infotheo 0.9.5
  4. Release 0.9.6: Infotheo 0.9.6
  5. Release 0.9.7: Infotheo 0.9.7
  6. Largest star day recorded: +1 stars
  7. Release 0.9.8: Infotheo 0.9.8
  8. Entered the Repository Index from the Seed Dataset
  9. Latest push

From the Repository Host's creation date and releases, the Admission, the Star History, and the Observations. Star milestones show only when the Star History records the day. On the chart of net stars each day, a solid line marks a release.

Forks and pushes

From 13 Observations, Oct 22, 2026 – Nov 3, 2026. Forks 0. A new push was seen on 3 of 12 days.

Forks21
  1. Oct 23, 2026: no new push
  2. Oct 24, 2026: no new push
  3. Oct 25, 2026: new push
  4. Oct 26, 2026: no new push
  5. Oct 27, 2026: no new push
  6. Oct 28, 2026: new push
  7. Oct 29, 2026: no new push
  8. Oct 30, 2026: no new push
  9. Oct 31, 2026: no new push
  10. Nov 1, 2026: new push
  11. Nov 2, 2026: no new push
  12. Nov 3, 2026: no new push

A filled day: the last push time changed since the Observation before it.

Observations

What the Repository Host reported each day.

Day (UTC)StarsForksLast pushArchived
Nov 3, 20267621Oct 31, 2026No
Nov 2, 20267621Oct 31, 2026No
Nov 1, 20267621Oct 31, 2026No
Oct 31, 20267621Oct 27, 2026No
Oct 30, 20267621Oct 27, 2026No
Oct 29, 20267621Oct 27, 2026No
Oct 28, 20267621Oct 27, 2026No
Oct 27, 20267621Oct 24, 2026No
Oct 26, 20267621Oct 24, 2026No
Oct 25, 20267621Oct 24, 2026No
Oct 24, 20267621Sep 23, 2026No
Oct 23, 20267621Sep 23, 2026No
Oct 22, 20267621Sep 23, 2026No
Report a problem with this page

Do not include personal data. AwesomeRepos keeps the message, the page, and the time.