Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Quark

A Web Browser with a Formally Verified Kernel
Stars
18
License
other
Open Issues
0
Most Recent Commit
11 years ago
Programming Language
C
Categories
Repo
Alternatives To Quark
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Kernel22
a year ago46apache-2.0TypeScript
Kernel is the glue code between the OS, comms and the Renderer of Decentraland
Quark18
11 years agootherC
A Web Browser with a Formally Verified Kernel
Alternatives To Quark
Select To Compare


Suggest An Alternative To quark
Alternative Project Comparisons
Quark vs Kernel
Popular Kernel Projects
Linux ⭐ 164,652
Linux kernel source tree
total releases 2latest release December 07, 2022most recent commit 3 months ago
Popular Web Browser Projects
Go ⭐ 117,282
The Go programming language
dependent packages 7total releases 759latest release December 01, 2023most recent commit 3 months ago
Uppy ⭐ 27,793
The next open source file uploader for web browsers :dog:
dependent packages 187total releases 107latest release November 12, 2023most recent commit 3 months agonpm @uppy/core} Downloads
Nyxt ⭐ 9,345
Nyxt - the hacker's browser.
most recent commit 3 months ago
Popular Operating Systems Categories
Kernel
Driver
Operating System
Unix
Debian
Filesystem
Openwrt
Hackintosh
Efi
Tvos

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
C
Security
Kernel
Web Browser
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.