Anonymous user
Notable Projects: Difference between revisions
m
Updated Ironclad's demo picture for one better showing the current desktop experience
| [unchecked revision] | [unchecked revision] |
(Absolutely do not add your own projects to this page. If your project isn't notable enough that someone else thinks to add it, it doesn't belong here.) |
m (Updated Ironclad's demo picture for one better showing the current desktop experience) |
||
| (5 intermediate revisions by 3 users not shown) | |||
Line 13:
|Contact=Ian Seyler (ian.seyler at returninfinity.com)
|URL=http://www.returninfinity.com/
|Status=
|License=Open source (MIT)
}}
Line 25:
|Pic=[[Image:ghost-ui-preview.png|200px]]
|License=GPLv3
}}
{{OSProject
|OSName=Ironclad
|OSDescription=Ironclad is a mostly formally verified hard real-time kernel written in SPARK and Ada. It is made to be 100% free software, free in the sense that it respects the user's freedom. It supports several architectures and features an advanced security model with features like Mandatory Access Control (MAC). The screenshot features Gloire, a distribution of Ironclad.
|Contact=streaksu@protonmail.com
|License=GNU GPLv3
|URL=https://ironclad.cx
|Pic=[[File:GloireJWM.png|200px]]
|Status=Active
}}
Line 32 ⟶ 42:
|Contact=Drew DeVault (sir at cmpwn.com)
|URL=http://knightos.org
|Status=
}}
Line 78 ⟶ 88:
|Contact=Daniel Bittman (danielbittman1 at gmail.com)
|URL=http://dbittman.github.io/seaos
|Status=
}}
Line 127 ⟶ 137:
|Contact=[[User:klange|klange]], #toaruos on irc.libera.chat
|URL=http://toaruos.org/
|Status=
|License=NCSA/University of Illinois License
|Pic=[[Image:Toaruos_screenshot.png|200px]]
Line 148 ⟶ 158:
|License=Open source (BSD 2-clause)
|URL=https://github.com/p-durlej/newsys
|Status=
|Pic=[[File:VanadiumOS.png|200px]]
}}
| |||