We don't know any projects categorized as sel4-microkernel yet.

Coq sel4-microkernel related posts

• Can the language of proof assistants be used for general purpose programming?
  3 projects | news.ycombinator.com | 27 Oct 2023
• The Software Foundations: mathematical underpinnings of reliable software
  4 projects | news.ycombinator.com | 5 Mar 2022

Index

Sponsored

SaaSHub - Software Alternatives and Reviews

SaaSHub helps you find the best software and product alternatives

www.saashub.com

Do not miss the trending Coq projects with our weekly report!