SaaSHub helps you find the best software and product alternatives Learn more →
Top 19 system-programming Open-Source Projects
-
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.
-
checkedc
Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe. The goal is to let people easily make their existing C code type-safe and eliminate entire classes of errors. Checked C does not address use-after-free errors. This repo has a wiki for Checked C, sample code, the specification, and test code.
-
minixfromscratch
Development and compilation setup for the book versions of MINIX (2.0.0 and 3.1.0) on QEMU
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
-
Cyjon
A simple, clean code, multi-tasking kernel written in pure Assembly language for 64-bit processors from the AMD64 family.
-
Ultimate-Notes-Books-Resources-for-NCIT
Curated list of notes, books and other resources for the student of Nepal College of Information and Technology(NCIT) - Pokhara University, Nepal
-
delta
C* is a hybrid low-level/high-level systems programming language focused on performance and productivity. (by delta-lang)
-
Understanding-Unix-Linux-Programming
Source code of Understanding Unix/Linux Programming. The book provides example code in C, I would like to replicate it in Rust.
-
Amun
A Statically typed, compiled general purpose low level programming language built using C++ and LLVM Infrastructure framework designed to be simple and fast
-
aegis
Linux, FreeBSD, NetBSD, OpenBSD and Windows debugging detection library. With support for C and Go. (by rafael-santiago)
-
The-Linux-Programming-Interface
Src of The Linux Programming Interface and its Rust implementation (Exercise included)
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
Project mention: "Low Level Programming University" a.k.a. Peaking Beneath the OS | news.ycombinator.com | 2023-10-13
Project mention: A list of JavaScript engines, runtimes, interpreters | /r/learnjavascript | 2023-12-10just
Project mention: The NSA list of memory-safe programming languages has been updated | news.ycombinator.com | 2024-03-04
Her recent project - https://github.com/aurae-runtime/aurae
Project mention: Ask HN: High-quality resources for writing complex systems software? | news.ycombinator.com | 2023-11-05Open BSD software source.
UNIX Systems Programming: Communication, Concurrency and Threads: Communication, Concurrency and Threads 2nd Edition by K Robbins and S. Robbins
minix from scrath [0]; linux from scratch[1];
[1] : https://www.linuxfromscratch.org/
[0] : https://github.com/o-oconnell/minixfromscratch
Project mention: Virgil: A Fast and Lightweight Systems Programming Language | news.ycombinator.com | 2024-05-29
Project mention: Show HN: I'm 17 and wrote this guide on how CPUs run programs | news.ycombinator.com | 2023-08-09Have a look at this one! It was still in development when I went, looks like they have a PDF now. https://github.com/illinois-cs241/coursebook
notes
system-programming related posts
-
The NSA list of memory-safe programming languages has been updated
-
The Fil-C Manifesto: Garbage In, Memory Safety Out
-
Checked C
-
Checked C
-
Is it possible to have a superset of the C programming languages standard that is as safe as Rust?
-
Checked C by Microsoft Research
-
I want to learn csharp man
-
A note from our sponsor - SaaSHub
www.saashub.com | 1 Jun 2024
Index
What are some of the best open-source system-programming projects? This list will help you:
Project | Stars | |
---|---|---|
1 | lowlevelprogramming-university | 9,688 |
2 | just | 3,551 |
3 | checkedc | 3,190 |
4 | aurae | 1,827 |
5 | minixfromscratch | 1,182 |
6 | virgil | 910 |
7 | coursebook | 655 |
8 | Cyjon | 411 |
9 | Ultimate-Notes-Books-Resources-for-NCIT | 242 |
10 | delta | 126 |
11 | ferris-fetch | 121 |
12 | Understanding-Unix-Linux-Programming | 79 |
13 | Amun | 61 |
14 | aegis | 38 |
15 | computersystems | 32 |
16 | mimixbox | 33 |
17 | The-Linux-Programming-Interface | 7 |
18 | ui | 1 |
19 | timer-mechanism | 0 |
Sponsored