Tags : Browse Projects

Select a tag to browse associated projects and drill deeper into the tag cloud.

seL4

Analyzed about 3 hours ago

The seL4 microkernel The world's first operating-system kernel with an end-to-end proof of implementation correctness and security enforcement.

1.03M lines of code

58 current contributors

2 days since last commit

2 users on Open Hub

Very High Activity

I Use This

Licenses: GNU_Gener...

Analyzed 1 day ago

Machine-checkable proofs of void safety formalized in Isabelle/HOL.

0 lines of code

0 current contributors

over 7 years since last commit

1 users on Open Hub

Activity Not Available

I Use This

Mostly written in language not available

Licenses: CC_BY-NC-...