Ironclad-Project / Ironclad

Formally verified, real-time capable, UNIX-like operating system kernel written in SPARK and Ada.

Ironclad-Project
Ironclad-Project
Date Created 2024-10-03 (5 months ago)
Commits 741 (last one 15 hours ago)
Stargazers 27 (0 this week)
Watchers 2 (0 this week)
Forks 4
License gpl-3.0
Ranking

RepositoryStats indexes 633,155 repositories, of these Ironclad-Project/Ironclad is ranked #615,556 (3rd percentile) for total stargazers, and #482,219 for total watchers. Github reports the primary language for this repository as Ada, for repositories using this language it is ranked #51/51.

Ironclad-Project/Ironclad is also tagged with popular topics, for these it's ranked: embedded (#696/704),  kernel (#619/625),  spark (#546/553),  operating-system (#387/392)

Other Information

There have been 6 releases, the latest one was published on 2025-01-31 (about a month ago) with the name v0.6.0.

Homepage URL: https://ironclad-os.org

Star History

Github stargazers over time

30302525202015151010550015 Oct15 OctNov '24Nov '2415 Nov15 NovDec '24Dec '2415 Dec15 DecJan '25Jan '2515 Jan15 JanFeb '25Feb '2515 Feb15 FebMar '25Mar '2515 Mar15 Mar

Watcher History

Github watchers over time, collection started in '23

3333222222111124 Mar24 Mar25 Mar25 Mar26 Mar26 Mar27 Mar27 Mar28 Mar28 Mar29 Mar29 Mar30 Mar30 Mar

Recent Commit History

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

80080070070060060050050040040030030020020010010000Jul '22Jul '2220232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Yearly Commits

Commits to the default branch (main) per year

18018016016014014012012010010080806060404020200020242024

Issue History

No issues have been posted

Languages

The primary language is Ada but there's also others...

AdaAdaM4M4AssemblyAssemblyShellShellLinker ScriptLinker Script

updated: 2025-03-30 @ 03:31am, id: 867028742 / R_kgDOM63PBg