https://github.com/sel4/website
The seL4.systems website
https://github.com/sel4/website
microkernel proof sel4 verification
Last synced: 11 months ago
JSON representation
The seL4.systems website
- Host: GitHub
- URL: https://github.com/sel4/website
- Owner: seL4
- Created: 2020-06-30T00:38:22.000Z (over 5 years ago)
- Default Branch: master
- Last Pushed: 2024-10-29T21:43:19.000Z (about 1 year ago)
- Last Synced: 2024-10-29T23:46:55.343Z (about 1 year ago)
- Topics: microkernel, proof, sel4, verification
- Language: HTML
- Homepage: https://seL4.systems
- Size: 318 MB
- Stars: 3
- Watchers: 15
- Forks: 14
- Open Issues: 16
-
Metadata Files:
- Readme: README.md
- Changelog: news/2020.html
- License: LICENSES/BSD-2-Clause.txt
- Security: security.asc