docandrew /CuBit
General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64
- Stars
- 90 stars
- Forks
- 4 forks
- Language
- Ada
- License
- GPL-3.0
- Created
- Mar 7, 2020
- Last push
- Nov 2, 2026
- Updated
- Oct 10, 2026
In the Repository Index from the Seed Dataset since Oct 22, 2026.
Star History
192 days recorded, Apr 26, 2026 – Nov 3, 2026 (UTC). Net change +4 stars.
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
[](https://awesomerepos.com/docandrew/CuBit)Badge
[](https://awesomerepos.com/docandrew/CuBit)Timeline
This repository got 1 star on Jul 20, 2026, its largest day since Apr 26, 2026.
It gained stars on 4 of the 192 days with a record.
Its largest 7 days were Jul 16, 2026 to Jul 22, 2026: 2 stars.
It had 86 stars before Apr 26, 2026 and has 90 stars now: 10 fewer than 100.
- Created on the Repository Host
- Largest star day recorded: +1 stars
- +1 stars in one day
- +1 stars in one day
- Entered the Repository Index from the Seed Dataset
- Latest push
From the Repository Host's creation date, the Admission, the Star History, and the Observations. Star milestones show only when the Star History records the day.
Forks and pushes
From 13 Observations, Oct 22, 2026 – Nov 3, 2026. Forks 0. A new push was seen on 8 of 12 days.
- Oct 23, 2026: new push
- Oct 24, 2026: new push
- Oct 25, 2026: new push
- Oct 26, 2026: no new push
- Oct 27, 2026: new push
- Oct 28, 2026: no new push
- Oct 29, 2026: no new push
- Oct 30, 2026: no new push
- Oct 31, 2026: new push
- Nov 1, 2026: new push
- Nov 2, 2026: new push
- Nov 3, 2026: 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) | Stars | Forks | Last push | Archived |
|---|---|---|---|---|
| Nov 3, 2026 | 90 | 4 | Nov 2, 2026 | No |
| Nov 2, 2026 | 90 | 4 | Nov 1, 2026 | No |
| Nov 1, 2026 | 90 | 4 | Oct 31, 2026 | No |
| Oct 31, 2026 | 90 | 4 | Oct 30, 2026 | No |
| Oct 30, 2026 | 90 | 4 | Oct 26, 2026 | No |
| Oct 29, 2026 | 90 | 4 | Oct 26, 2026 | No |
| Oct 28, 2026 | 90 | 4 | Oct 26, 2026 | No |
| Oct 27, 2026 | 90 | 4 | Oct 26, 2026 | No |
| Oct 26, 2026 | 90 | 4 | Oct 24, 2026 | No |
| Oct 25, 2026 | 90 | 4 | Oct 24, 2026 | No |
| Oct 24, 2026 | 90 | 4 | Oct 23, 2026 | No |
| Oct 23, 2026 | 90 | 4 | Oct 22, 2026 | No |
| Oct 22, 2026 | 90 | 4 | Oct 22, 2026 | No |