PrototypeCommon
microsoft/Komodo
Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone
Archived: this repository is read-only
- Owner
- microsoft (organization)
- Stars
- Stars: 111
- Forks
- Forks: 26
- Language
- C
- License
- None
- Created
- 2017
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by microsoft
All 1,923 repos by microsoft- microsoft/vscodeStars: 194,462TypeScriptLTS
- microsoft/markitdownStars: 193,456PythonLTS
- microsoft/PowerToysStars: 140,398CLTS
- microsoft/generative-ai-for-beginnersStars: 122,788Jupyter NotebookLTS
- microsoft/TypeScriptStars: 111,714GoLTS
- microsoft/terminalStars: 105,311C++LTS
Nearby in C
All C repos- SyscallX-18113/Apkx-HunterStars: 111CPrototype
- TalhaMudo/NFSU2RecompStars: 111CPrototype
- eladharels/ps5-60FPSStars: 111CPrototype
- telmich/gpmStars: 111CPrototype
- stevedekorte/garbagecollectorStars: 111CPrototype
- scotts/streamflowStars: 111CPrototype