Top 9 systems-programming Open-Source Projects

• zerosharp

  25 1,954 0.0 C#

  Demo of the potential of C# for systems programming with the .NET native ahead-of-time compilation technology.

Project mention: Writing windows APIs with C# EFi no runtime? | news.ycombinator.com | 2024-02-29

• Vale

  64 1,680 6.8 Scala

  Compiler for the Vale programming language - http://vale.dev/ (by ValeLang)

  

Project mention: Vala Programming Language | news.ycombinator.com | 2024-04-08

Not to be confused with Vale[0].

[0] https://vale.dev/

• InfluxDB

  www.influxdata.com featured

  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.

  

• high-assurance-rust

  7 1,267 7.1 Rust

  A free book about developing secure and robust systems software.

Project mention: Ferrocene – Rust for Critical Systems | news.ycombinator.com | 2023-10-08

related: https://highassurance.rs/

• magmide

  22 806 6.6 Coq

  A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

  

Project mention: Languages on the rise like Rust and Go are being quite vocal against inheritance and many engineers seem to agree. Is this the end of inheritance? What do you think? | /r/rust | 2023-07-04

https://github.com/magmide/magmide when

• IL2C

  1 389 0.0 C#

  IL2C - A translator for ECMA-335 CIL/MSIL to C language.

• systems-programming-cheat-sheet

  2 351 0.0 TeX

  Cheat sheet for x86-64 Unix systems programming

• vonuvoli-scheme

  2 150 2.2 Rust

  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

  

• SaaSHub

  www.saashub.com featured

  SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

  

• tinyubsan

  1 31 0.0 C

  Tiny libubsan implementation for hobby kernels

• cr4sh_

  1 23 0.0 Rust

  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

systems-programming related posts

• Writing windows APIs with C# EFi no runtime?

  1 project | news.ycombinator.com | 29 Feb 2024

• The Vale Programming Language

  1 project | news.ycombinator.com | 27 Nov 2023

• Two Stories for "What Is CHERI?"

  3 projects | news.ycombinator.com | 13 Oct 2023

• Ferrocene – Rust for Critical Systems

  2 projects | news.ycombinator.com | 8 Oct 2023

• I've heard that "Rust's borrow checker is necessary to ensure memory safety without a GC" usually also implying it's the only way, but I've done the same without the borrow checker. Am I just clueless/confused?

  2 projects | /r/rust | 13 Sep 2023

• Do you think C# will be decentralized in the future?

  4 projects | /r/dotnet | 24 Jun 2023

• Single Ownership and Memory Safety without Borrow Checking, Reference Counting, or Garbage Collection

  1 project | /r/ProgrammingLanguages | 16 Jun 2023
• A note from our sponsor - SaaSHub
  www.saashub.com | 12 May 2024

  SaaSHub helps you find the best software and product alternatives Learn more →

Index

Sponsored

SaaSHub - Software Alternatives and Reviews

SaaSHub helps you find the best software and product alternatives

www.saashub.com