The Wayback Machine - https://web.archive.org/web/20230319010215/https://github.com/topics/systems-programming

#

systems-programming

Here are 180 public repositories matching this topic...

MichalStrehovsky / zerosharp

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

csharp systems-programming

Updated Dec 22, 2022
C#

Vale

ValeLang / Vale

Sponsor

Compiler for the Vale programming language - http://vale.dev/

language programming-language compiler systems-programming vale

Updated Jan 25, 2023
Scala

high-assurance-rust

tnballo / high-assurance-rust

A free book about developing secure and robust systems software.

rust security book reliability systems-programming

Updated Feb 14, 2023
Rust

magmide / magmide

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

dependent-types coq logic verification formal-methods type-safety formal-verification systems-programming

Updated Mar 17, 2023
Coq

pikelet-lang / pikelet

A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧

programming-language rust typechecker dependent-types compiler type-theory systems-language type-system systems-programming bidirectional-typechecking dependent-record-types dependent-records

Updated May 16, 2021
Rust

IL2C

kekyo / IL2C

Sponsor

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

c arduino translator csharp fsharp dotnet transpiler aot msil uefi cil wdm systems-programming intermediate-language ecma335

Updated Jun 19, 2022
C#

PacktPublishing / Mastering-Go-Second-Edition

Mastering Go Second Edition, published by Packt

go golang systems-programming

Updated Jan 30, 2023
Go

jstrieb / systems-programming-cheat-sheet

Cheat sheet for x86-64 Unix systems programming

cheat-sheets unix x86-64 cheatsheet cheatsheets systems-programming cheat-sheet

Updated Jul 2, 2021
TeX

RISC-V-Guide

mikeroyal / RISC-V-Guide

RISC-V Guide. Learn all about the RISC-V computer architecture along with the Development Tools and Operating Systems to develop on RISC-V hardware.

Updated Jan 25, 2023
Assembly

matheusmoreira / liblinux

Linux system calls.

linux linux-kernel syscalls systems-programming system-calls

Updated Nov 18, 2019
Makefile

mactsouk / mastering-Go-3rd

Source code for Mastering Go, 3rd edition

go programming-language golang book command-line-tool systems-programming

Updated Nov 29, 2022
Go

Floydlang / floyd

The Floyd programming language

language c-plus-plus performance immutable actors cpp game-development concurrency parallelism floyd threading cache-control general-purpose composable systems-programming optimisation immutable-data-structures persistent-data-structures software-systems

Updated Oct 24, 2022
C++

claudebarthels / infinity

A lightweight C++ RDMA library for InfiniBand networks.

networking interface high-performance-computing rdma infiniband network-programming systems-programming mellanox one-sided rdma-tutorial

Updated May 12, 2022
C++

tyler569 / nightingale

A small operating system where I experiment and learn osdev.

kernel os osdev operating-system nightingale systems-programming network-stack

Updated Apr 13, 2022
C

vonuvoli-scheme

volution / vonuvoli-scheme

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

rust scheme interpreter functional-programming scripting r7rs rust-lang work-in-progress systems-programming shell-scripting systems-scripting

Updated Dec 30, 2022
Rust

akiekintveld / systems

Resources for learning systems programming.

security performance operating-systems kernels systems-programming

Updated May 23, 2022

paulcavallaro / systems-programming

Examples of common systems programming optimizations

cplusplus cpp optimization systems-programming

Updated Aug 3, 2021
Starlark

devendranaga / linux-systems-programming-with-c

free programming book on C, Linux and systems programming

c linux markdown middleware books operating-system systems-programming

Updated Mar 4, 2023
CSS

tensorush / Awesome-Systems-Learning

😎 💡 Collection of the most awesome learning resources on computer systems in the form of videos, courses and tutorials.

awesome assembly reverse-engineering virtualization programming-languages assembly-language database-management awesome-list operating-systems assembly-language-programming computer-architecture formal-verification compiler-design systems-programming blockchain-technology compiler-construction learning-resources operating-system-learning computer-networks circuit-design

Updated Jan 4, 2023

harismuneer / BelalHashmi-Assembly-Exercise-Solutions

💻 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.

pcb assembly-language dosbox assembly-language-programming interrupts assembly-8086 systems-programming solved-exercices afd nasm-assembly assembly-x86 software-interrupts hardware-interrupts video-memory bao-ji belal-hashmi-book-solutions bilal-hashmi-exercise-solutions belal-hashmi-solved-exercises belal-hashmi-answers cs401-solved-exercises

Updated Jan 3, 2023
Assembly

Improve this page

Add a description, image, and links to the systems-programming topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the systems-programming topic, visit your repo's landing page and select "manage topics."