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 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
For (2) Virgil has several features that allow you to layout memory with various levels of control. I assume you meaning "array of structs", and you can do that with arrays of tuples, which will naturally be flattened and normalized based on the target (i.e. will be array-of-structs on native targets). You can define byte-exact layouts[1] (mostly for interfacing with other software and parsing binary formats), unbox ADTs, and soon you can even control the exact encoding of ADTs.
Virgil is GC'd.
[1] https://github.com/titzer/virgil/blob/master/doc/tutorial/La...
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
Project mention: Prefix, Infix and Postfix Operator overloading functions | /r/ProgrammingLanguages | 2023-05-03Github: https://github.com/AmrDeveloper/amun Website: https://amrdeveloper.github.io/Amun/
If you wanna learn Linux system programming (Theory knowledge & Real world code), The Linux Programming Interface is really a good book to go with. The source code of this book is written in C, if you want some rust code, you can take a look at my repo, I have the first 20 chapters implemented.
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).
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 - InfluxDB
www.influxdata.com | 2 May 2024
Index
What are some of the best open-source system-programming projects? This list will help you:
| Project | Stars | |
|---|---|---|
| 1 | lowlevelprogramming-university | 9,588 |
| 2 | just | 3,547 |
| 3 | checkedc | 3,183 |
| 4 | aurae | 1,824 |
| 5 | minixfromscratch | 1,182 |
| 6 | virgil | 897 |
| 7 | coursebook | 651 |
| 8 | Cyjon | 411 |
| 9 | Ultimate-Notes-Books-Resources-for-NCIT | 238 |
| 10 | delta | 125 |
| 11 | ferris-fetch | 119 |
| 12 | Understanding-Unix-Linux-Programming | 79 |
| 13 | Amun | 59 |
| 14 | aegis | 35 |
| 15 | computersystems | 32 |
| 16 | mimixbox | 30 |
| 17 | The-Linux-Programming-Interface | 7 |
| 18 | ui | 1 |
| 19 | timer-mechanism | 0 |
Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com