Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality. Learn more →
Top 23 Kernel Open-Source Projects
-
Project mention: Why does part of the Windows 98 Setup program look older than the rest? | news.ycombinator.com | 2024-04-09
SerenityOS replicates that look and feel. It is also implemented in a dialect of C++ that adheres to some of the good parts of C++98: https://serenityos.org
-
Project mention: Cisco to Acquire Cloud Native Networking and Security Leader Isovalent | news.ycombinator.com | 2023-12-21
They would have had to add a few externals to get to Graduated but it's definitely a minority:
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
-
Isn't gVisor kind of this as well?
"gVisor is an application kernel for containers. It limits the host kernel surface accessible to the application while still giving the application access to all the features it expects. Unlike most kernels, gVisor does not assume or require a fixed set of physical resources; instead, it leverages existing host kernel functionality and runs as a normal process. In other words, gVisor implements Linux by way of Linux."
-
Project mention: Questioning "The Value of Open Source Software" | news.ycombinator.com | 2024-02-12
https://reactos.org/ implement some of the windows API
-
-
Project mention: Operating System Development Tutorials in Rust on the Raspberry Pi | news.ycombinator.com | 2024-02-07
-
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
-
-
Project mention: Magisk is a suite of open source software for customizing Android | news.ycombinator.com | 2023-07-13
KernelSU is the replacement you are looking for.
-
-
-
-
linux-network-performance-parameters
Learn where some of the network sysctl variables fit into the Linux/Kernel network flow. Translations: 🇷🇺
-
Project mention: Automated Unit Test Improvement Using Large Language Models at Meta | news.ycombinator.com | 2024-02-17
https://arxiv.org/abs/2402.09171 :
> This paper describes Meta's TestGen-LLM tool, which uses LLMs to automatically improve existing human-written tests. TestGen-LLM verifies that its generated test classes successfully clear a set of filters that assure measurable improvement over the original test suite, thereby eliminating problems due to LLM hallucination. [...] We believe this is the first report on industrial scale deployment of LLM-generated code backed by such assurances of code improvement.
Coverage-guided unit test improvement might [with LLMs] be efficient too.
https://github.com/topics/coverage-guided-fuzzing :
- e.g. Google/syzkaller is a coverage-guided syscall fuzzer: https://github.com/google/syzkaller
- Gitlab CI supports coverage-guided fuzzing: https://docs.gitlab.com/ee/user/application_security/coverag...
- oss-fuzz, osv
Additional ways to improve tests:
Hypothesis and pynguin generate tests from type annotations.
There are various tools to generate type annotations for Python code;
> pytype (Google) [1], PyAnnotate (Dropbox) [2], and MonkeyType (Instagram) [3] all do dynamic / runtime PEP-484 type annotation type inference [4] to generate type annotations. https://news.ycombinator.com/item?id=39139198
icontract-hypothesis generates tests from icontract DbC Design by Contract type, value, and invariance constraints specified as precondition and postcondition @decorators:
-
-
Hi! This is Daniel from OxidOS Automotive (stating this for disclaimer purposes).
Yes, our OS is based on TockOS, and our CEO (Alex Radovici) is #7 in the contributors list (https://github.com/tock/tock/graphs/contributors), with other colleagues contributing in the past years.
-
https://github.com/gopherdata/gophernotes
I've had this bookmarked for some time and just havent gotten around to it.
-
build
Armbian Linux build framework generates custom Debian or Ubuntu image for x86, aarch64, riscv64 & armhf
https://github.com/armbian/build
There isn't any hypervisor running on that and still no SVE
-
-
-
Theseus
Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between compiler and hardware by maximally leveraging the power of language safety and affine types. Theseus aims to shift OS responsibilities like resource management into the compiler.
-
Project mention: GitHub - cilium/pwru: Packet, where are you? -- eBPF-based Linux kernel networking debugger | /r/kernel | 2023-04-20
-
u-root
A fully Go userland with Linux bootloaders! u-root can create a one-binary root file system (initramfs) containing a busybox-like set of tools written in Go.
It looks similar to u-root https://github.com/u-root/u-root, yes, used as part of host firmware. There's a description of u-root in chapter 6 of https://link.springer.com/book/10.1007/978-1-4842-7939-7, too.
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
NOTE:
The open source projects on this list are ordered by number of github stars.
The number of mentions indicates repo mentiontions in the last 12 Months or
since we started tracking (Dec 2020).
The latest post mention was on 2024-04-09.
Kernel related posts
- OxidOS Automotive
- Snapdragon 8 Gen 1's iGPU: Adreno Gets Big
- Questioning "The Value of Open Source Software"
- Saving Linux
- Custom Linux Kernel Patches for CachyOS
- Armbian – Linux for ARM development boards
- The Linux Scheduler: A Decade of Wasted Cores (2016) [pdf]
-
A note from our sponsor - InfluxDB
www.influxdata.com | 18 Apr 2024
Index
What are some of the best open-source Kernel projects? This list will help you:
| Project | Stars | |
|---|---|---|
| 1 | serenity | 28,519 |
| 2 | cilium | 18,436 |
| 3 | gvisor | 15,046 |
| 4 | reactos | 14,009 |
| 5 | blog_os | 13,947 |
| 6 | rust-raspberrypi-OS-tutorials | 12,932 |
| 7 | raspberry-pi-os | 12,854 |
| 8 | rt-thread | 9,522 |
| 9 | KernelSU | 7,929 |
| 10 | windows-kernel-exploits | 7,712 |
| 11 | lkmpg | 6,962 |
| 12 | winfsp | 6,560 |
| 13 | linux-network-performance-parameters | 5,299 |
| 14 | syzkaller | 5,116 |
| 15 | build-linux | 5,096 |
| 16 | tock | 4,960 |
| 17 | gophernotes | 3,761 |
| 18 | build | 3,673 |
| 19 | tetragon | 3,266 |
| 20 | maestro | 2,799 |
| 21 | Theseus | 2,734 |
| 22 | pwru | 2,431 |
| 23 | u-root | 2,430 |
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com