marcusrossel / verified-compiler

A toy example of a verified compiler.

Date Created 2025-01-18 (about a month ago)
Commits 4 (last one about a month ago)
Stargazers 26 (0 this week)
Watchers 1 (0 this week)
Forks 0
License unknown
Ranking

RepositoryStats indexes 616,861 repositories, of these marcusrossel/verified-compiler is ranked #604,806 (2nd percentile) for total stargazers, and #557,293 for total watchers. Github reports the primary language for this repository as Lean, for repositories using this language it is ranked #128/131.

Star History

Github stargazers over time

30302525202015151010550024 Jan24 JanFeb '25Feb '2508 Feb08 Feb16 Feb16 Feb

Watcher History

Github watchers over time, collection started in '23

2222111111000025 Jan25 Jan26 Jan26 Jan27 Jan27 Jan28 Jan28 Jan29 Jan29 Jan30 Jan30 Jan31 Jan31 JanFeb '25Feb '2503 Feb03 Feb04 Feb04 Feb05 Feb05 Feb06 Feb06 Feb07 Feb07 Feb08 Feb08 Feb09 Feb09 Feb10 Feb10 Feb11 Feb11 Feb12 Feb12 Feb13 Feb13 Feb14 Feb14 Feb15 Feb15 Feb16 Feb16 Feb17 Feb17 Feb18 Feb18 Feb19 Feb19 Feb

Recent Commit History

4 commits on the default branch (main) since jan '22

443.53.5332.52.5221.51.5110.50.50024 Jan24 JanFeb '25Feb '2508 Feb08 Feb16 Feb16 Feb

Yearly Commits

Commits to the default branch (main) per year

2222111111000020242024

Issue History

No issues have been posted

Languages

The only known language in this repository is Lean

LeanLean

updated: 2025-01-24 @ 08:34pm, id: 918696584 / R_kgDONsIyiA