Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Systems Programming Open Source Projects

Open source projects categorized as Systems Programming
Categories > Systems Programming
Zerosharp ⭐ 1,698
Demo of the potential of C# for systems programming with the .NET native ahead-of-time compilation technology.
most recent commit a year ago
Vale ⭐ 1,593
Compiler for the Vale programming language - http://vale.dev/
most recent commit 5 months ago
High Assurance Rust ⭐ 1,208
A free book about developing secure and robust systems software.
most recent commit 6 months ago
Magmide ⭐ 778
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
most recent commit 7 months ago
Pikelet ⭐ 507
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
total releases 1most recent commit 3 years ago
Mastering Go Second Edition ⭐ 343
Mastering Go Second Edition, published by Packt
most recent commit a year ago
Il2c ⭐ 317
IL2C - A translator for ECMA-335 CIL/MSIL to C language.
dependent packages 2total releases 27most recent commit 2 years agonuget IL2C.Interop} Downloads
Mastering Go 3rd ⭐ 238
Source code for Mastering Go, 3rd edition
most recent commit 5 months ago
Systems Programming Cheat Sheet ⭐ 138
Cheat sheet for x86-64 Unix systems programming
most recent commit 3 years ago
Floyd ⭐ 131
The Floyd programming language
most recent commit 4 years ago
Vonuvoli Scheme ⭐ 105
vonuvoli Scheme -- an R7RS interpreter written in Rust focused on systems programming and scripting (i.e. processes, file-system, etc.) with performance and safety in mind
total releases 6most recent commit a year ago
Infinity ⭐ 68
A lightweight C++ RDMA library for InfiniBand networks.
most recent commit 4 years ago
Linux Systems Programming With C ⭐ 51
free programming book on C, Linux and systems programming
most recent commit 9 months ago
Systems Programming ⭐ 43
Examples of common systems programming optimizations
most recent commit 3 years ago
Systems ⭐ 38
Resources for learning systems programming.
most recent commit 2 years ago
Pofr ⭐ 31
Penguin OS Forensic (or Flight) Recorder
most recent commit 4 months ago
Belalhashmi Assembly Exercise Solutions ⭐ 24
💻 This repository provides solutions to most of the programming questions in the exercise given at the back of chapters for Bao Ji's Book (text book for course "Comp. Organization & Assembly Lang. EE213" at FAST). Sharing these with you, so that they might help you in understanding the concepts.
most recent commit 3 years ago
Checkedc ⭐ 20
Checked C is an extension to C that lets programmers write C code with bounds checking and improved type-safety. The goal is to let people easily make their existing C code type-safe and eliminate entire classes of errors.
most recent commit 5 months ago
Cr4sh_ ⭐ 17
cr4sh_ (pronounced crash, because it crashes all the time) is a Linux shell fully written with Rust. This can be used for educational purposes and is a great intro to Systems Programming
most recent commit 3 years ago
Snowflake ⭐ 15
a fast, low-level, and expressive programming language designed for minimal usage of hierarchy
most recent commit 4 years ago
Dynamic Loader ⭐ 14
A simple Linux dynamic loader capable of loading simple binaries using simple shared libraries (no glibc support)
most recent commit 5 months ago
Sigma16 ⭐ 11
Computer architecture for teaching and research in computer systems, with IDE, editor, assembler, linker, emulator, programming examples, digital circuit
most recent commit 4 months ago
System.jl ⭐ 6
Utilize system-installed software from Julia
most recent commit 3 years ago
The 3 Latest Releases In Systems Programming Open Source Projects
Il2c ⭐ 317
IL2C - A translator for ECMA-335 CIL/MSIL to C language.
dependent packages 2total releases 27latest release June 29, 2020most recent commit 2 years agonuget IL2C.Interop} Downloads
Pikelet ⭐ 507
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
total releases 1latest release July 24, 2018most recent commit 3 years ago
Categories
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.