Sign in

google-deepmind / code-verification

Verifying Signal's security at the machine-code level

Stars
231 stars
Forks
34 forks
Language
Lean
License
OTHER
Created
Oct 26, 2026
Last push
Nov 11, 2026
Updated
Nov 13, 2026

Admitted to the Repository Index on Nov 12, 2026: +166 stars in 7 days.

Star History

5 days recorded, Nov 9, 2026 – Nov 13, 2026 (UTC). Net change +232 stars.

Stars at the end of each day 231 now
100
Nov 9, 2026 Nov 13, 2026
Net stars each day highest +119
+119 on Nov 10, 2026
Nov 9, 2026 Nov 13, 2026

The star count of each day is the latest count minus 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=dark to the chart address to keep one theme.

Star History chart

[![Star History of google-deepmind/code-verification](https://awesomerepos.com/google-deepmind/code-verification/stars.svg)](https://awesomerepos.com/google-deepmind/code-verification)

Badge

[![AwesomeRepos](https://awesomerepos.com/google-deepmind/code-verification/badge.svg)](https://awesomerepos.com/google-deepmind/code-verification)

Timeline

It gained stars on each of the 5 days recorded since Nov 9, 2026.

  1. Created on the Repository Host
  2. Reached 100 stars, 15 days after it was created
  3. Largest star day recorded: +119 stars
  4. +53 stars in one day
  5. Latest push
  6. Entered the Repository Index: +166 stars in 7 days
  7. +38 stars in one day

The timeline comes from the creation date and the releases on the Repository Host, the Admission, the Star History, and the Observations. Star milestones show only when the Star History records the day. The list shows up to 5 stable releases from the latest 10 releases recorded. When none of them is stable, one item counts the pre-releases. On the chart of net stars each day, a solid line marks each recorded release.

Forks and pushes

From 2 Observations, Nov 13, 2026 – Nov 14, 2026. Forks +5. AwesomeRepos saw a new push on 0 of 1 days.

Forks 34
  1. Nov 14, 2026: no new push

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

Health facts

Measured facts in four separate dimensions, each with a date and a source. AwesomeRepos does not add them into one score. AwesomeRepos last read these facts from GitHub on Nov 14, 2026. How AwesomeRepos defines each check

Copies a prompt for a coding agent. It has 4 tasks for the maintainers of google-deepmind/code-verification.

Maintenance

3 of 4 checks
  • Yes: Not archived

    GitHub does not mark the repository as archived. Source

  • Yes: A push in the last 90 days

    Last push on 2026-11-11, 2 days ago. Source

  • Yes: Commits in the last 13 weeks

    2 commits on the default branch in the last 13 weeks (GitHub, 2026-11-14). Source

  • No: Commits in 26 or more of the last 52 weeks

    Commits in 1 of the last 52 weeks (GitHub, 2026-11-14). Source

  1. 0
  2. 0
  3. 0
  4. 0
  5. 0
  6. 0
  7. 0
  8. 0
  9. 0
  10. 0
  11. 0
  12. 0
  13. 0
  14. 0
  15. 0
  16. 0
  17. 0
  18. 0
  19. 0
  20. 0
  21. 0
  22. 0
  23. 0
  24. 0
  25. 0
  26. 0
  27. 0
  28. 0
  29. 0
  30. 0
  31. 0
  32. 0
  33. 0
  34. 0
  35. 0
  36. 0
  37. 0
  38. 0
  39. 0
  40. 0
  41. 0
  42. 0
  43. 0
  44. 0
  45. 0
  46. 0
  47. 0
  48. 0
  49. 0
  50. 0
  51. 0
  52. 2
Commits on the default branch each week, the oldest week at the left.

Releases

0 of 3 checks (1 without data)
  • No: A release in the last 365 days

    No GitHub release (read on 2026-11-12). Source

  • No data: The newest release tag is a semantic version

    No data: no release.

  • No: A changelog file at the root

    No changelog file at the root (GitHub, 2026-11-14).

Security practice

0 of 1 check
  • No: A security policy

    GitHub finds no security policy (GitHub, 2026-11-14).

OpenSSF Scorecard has no result for this repository from the last 90 days.

Community files

2 of 3 checks
  • Yes: A licence

    GitHub finds a licence file, but cannot name the licence. Source

  • Yes: A contributing guide

    GitHub finds a contributing guide (GitHub, 2026-11-14). Source

  • No: A code of conduct

    GitHub finds no code of conduct (GitHub, 2026-11-14).

Observations

Latest Observation, Nov 14, 2026: 231 stars, 34 forks, last push Nov 11, 2026, not archived. One of 2 Observations since Nov 13, 2026.

Report a problem with this page

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