#

systems-programming

Here are 162 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 Oct 26, 2022
C#

high-assurance-rust

tnballo / high-assurance-rust

A free book about developing secure and robust systems software.

rust security book reliability systems-programming

Updated Sep 26, 2022
Rust

Vale

ValeLang / Vale

Sponsor

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

language programming-language compiler systems-programming vale

Updated Nov 19, 2022
Scala

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 Sep 4, 2022
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 Oct 21, 2022
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

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 Jul 21, 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 Jul 29, 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

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 17, 2021
Assembly

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 Nov 20, 2022
C

POFR

gmagklaras / POFR

Penguin OS Forensic (or Flight) Recorder

linux incident-response dfir cybersecurity intrusion-detection digital-forensics systems-programming system-security cyber-threat-intelligence cyber-protection

Updated Nov 3, 2022
Perl

Abb1x / tinyubsan

Tiny libubsan implementation for hobby kernels

c embedded systems-programming ubsan

Updated Mar 26, 2022
C

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