systems-programming

There are 6 repositories under systems-programming topic.

MichalStrehovsky / zerosharp
Demo of the potential of C# for systems programming with the .NET native ahead-of-time compilation technology.
systems-programming csharp
Language:C# 1969
Vale
ValeLang / Vale
Compiler for the Vale programming language - http://vale.dev/
compiler language programming-language systems-programming vale
Language:Scala 1700
high-assurance-rust
tnballo / high-assurance-rust
A free book about developing secure and robust systems software.
rust security reliability systems-programming book
Language:Rust 1267
magmide / magmide
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
formal-verification formal-methods type-safety systems-programming dependent-types verification logic coq
Language:Coq 806
pikelet-lang / pikelet
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
dependent-types typechecker type-theory programming-language type-system bidirectional-typechecking rust dependent-record-types dependent-records systems-language systems-programming compiler
Language:Rust 607
PacktPublishing / Mastering-Go-Second-Edition
Mastering Go Second Edition, published by Packt
go golang systems-programming
Language:Go 391
IL2C
kekyo / IL2C
IL2C - A translator for ECMA-335 CIL/MSIL to C language.
cil msil c csharp dotnet translator transpiler ecma335 intermediate-language fsharp arduino uefi wdm systems-programming aot
Language:C# 390
jstrieb / systems-programming-cheat-sheet
Cheat sheet for x86-64 Unix systems programming
unix systems-programming cheatsheets cheat-sheet cheat-sheets cheatsheet x86-64
Language:TeX 354
mactsouk / mastering-Go-3rd
Source code for Mastering Go, 3rd edition
go programming-language systems-programming command-line-tool golang book
Language:Go 275
matheusmoreira / liblinux
Linux system calls.
linux linux-kernel syscalls system-calls systems-programming
Language:Makefile 209
claudebarthels / infinity
A lightweight C++ RDMA library for InfiniBand networks.
rdma rdma-tutorial infiniband mellanox one-sided networking high-performance-computing systems-programming network-programming interface
Language:C++ 171
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
scheme r7rs rust interpreter systems-programming work-in-progress functional-programming systems-scripting scripting shell-scripting rust-lang
Language:Rust 152
Floydlang / floyd
The Floyd programming language
floyd language performance persistent-data-structures actors concurrency parallelism cpp software-systems composable threading general-purpose game-development c-plus-plus immutable immutable-data-structures systems-programming cache-control optimisation
Language:C++ 149
7etsuo / windows-api-function-cheatsheets
A reference of Windows API function calls, including functions for file operations, process management, memory management, thread management, dynamic-link library (DLL) management, synchronization, interprocess communication, Unicode string manipulation, error handling, Winsock networking operations, and registry operations.
windows windows-api cheatsheet systems-programming windows-10 windows-internals syscalls win32-api windows-11 malware-analysis malware-research reverse-engineering
107
devendranaga / linux-systems-programming-with-c
free programming book on C, Linux and systems programming
linux systems-programming books markdown c middleware operating-system
59
paulcavallaro / systems-programming
Examples of common systems programming optimizations
cplusplus cpp optimization systems-programming
Language:Starlark 50
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.
assembly-language-programming assembly-x86 assembly-8086 interrupts software-interrupts hardware-interrupts systems-programming solved-exercices assembly-language pcb video-memory nasm-assembly dosbox afd bao-ji belal-hashmi-book-solutions bilal-hashmi-exercise-solutions belal-hashmi-solved-exercises belal-hashmi-answers cs401-solved-exercises
Language:Assembly 49
POFR
gmagklaras / POFR
Penguin OS Forensic (or Flight) Recorder
linux digital-forensics system-security systems-programming dfir incident-response cybersecurity cyber-threat-intelligence cyber-protection intrusion-detection
Language:Perl 34
rdmsr / tinyubsan
Tiny libubsan implementation for hobby kernels
ubsan c embedded systems-programming
Language:C 31
checkedc / checkedc
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.
security reliability systems-programming c-programming-language c
Language:C 25
bexxmodd / cr4sh_
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
linux shell rust systems-programming terminal
Language:Rust 22
moki / cs61c
Great Ideas in Computer Architecture UC Berkeley EECS
systems-programming
Language:C 21
Ferdi265 / dynamic-loader
A simple Linux dynamic loader capable of loading simple binaries using simple shared libraries (no glibc support)
c dynamic-linking systems-programming linux musl cmake dynamic-loading
Language:C 16
jtod / Sigma16
Computer architecture for teaching and research in computer systems, with IDE, editor, assembler, linker, emulator, programming examples, digital circuit
computer-architecture sigma16 assembler emulator digital-circuit systems-programming machine-language sigma32
Language:JavaScript 13
rauhul / cs241
Systems Programming UIUC FA 2016
systems-programming c network tcp multithreading
Language:C 12
spamegg1 / modern-systems-scala-native
Working through "Modern Systems Programming with Scala Native" by Richard Whaling
scala scala-native scala3 systems-programming
Language:Scala 12
kishanpatel22 / kernel_concepts
Operating Systems general concepts and detailed explanation of xv6 kernel.
operation-systems xv6-os linux kernel systems-programming xv6 xv6-system-call xv6-operating operating-system threading threading-synchronization threading-library threading-module filesystem
11
OSSpk / Round-Robin-Scheduler
🤹 A C++ implementation of the Round Robin Scheduler algorithm for process scheduling.
round-robin roundrobin round-robin-scheduler round-robin-dispatcher scheduler scheduling-algorithm operating-system operating-systems c-plus-plus operating-system-learning systems systems-programming round-robin-simulator round-robin-implementation operating-systems-tutorials open-source-project process-scheduling learning-by-doing os-algorithms
Language:C++ 11
analytech-solutions / System.jl
Utilize system-installed software from Julia
systems-programming julia
Language:Julia 9
cgyurgyik / riscv-assembly
Implementation of common functions using RISC-V assembly.
risc-v riscv assembly risc risc-v-assembly riscv-assembly risc-assembly systems-programming assembly-programming
Language:Assembly 8
jmcph4 / simplefs
Simple Unix-style filesystem in Rust
filesystem filesystem-library filesystem-api filesystem-interaction osdev systems-programming unix-like posix rust-crate
Language:Rust 8
tunacinsoy / CSE
All the homeworks, testers and projects done at Marmara University, Computer Science & Engineering
computer-science logic-design operating-systems programming-language-concepts algorithms data-structures systems-programming discrete-mathematics analysis-algorithms probability-statistics database-systems cse computer-engineering modeling discrete-event-simulation discrete-simulation computer-networks
Language:Java 8
aimalexe / DCSE
This repository is a curated collection of assignments, lab tasks, lab reports and projects that I've compiled during my journey through the Bachelor of Science program in Computer System Engineering.
assignments cpp-course programming projects tasks university-course c cplusplus dsa matlab object-oriented-programming operating-system ubuntu systems-programming verilog mips-assembly
Language:C++ 6
delta / codecharacter-driver-2022
The driver for CodeCharacter 2022
rabbitmq rust systems-programming code-character
Language:Rust 6
amp-lang / amp_archive
The Amp programming language: a language designed for building high performance systems.
compiler language programming-language programming-languages system system-programming systems systems-programming amp amp-lang lang
Language:Rust 5
cmaraziaris / ctf-csec-uoa-2021
Solution to the CTF challenge assigned in the Computer Security class, Spring '21, University of Athens.
assembly gdb systems-programming php shell buffer-overflow
Language:Python 5

systems-programming

MichalStrehovsky / zerosharp

ValeLang / Vale

tnballo / high-assurance-rust

magmide / magmide

pikelet-lang / pikelet

PacktPublishing / Mastering-Go-Second-Edition

kekyo / IL2C

jstrieb / systems-programming-cheat-sheet

mactsouk / mastering-Go-3rd

matheusmoreira / liblinux

claudebarthels / infinity

volution / vonuvoli-scheme

Floydlang / floyd

7etsuo / windows-api-function-cheatsheets

devendranaga / linux-systems-programming-with-c

paulcavallaro / systems-programming

harismuneer / BelalHashmi-Assembly-Exercise-Solutions

gmagklaras / POFR

rdmsr / tinyubsan

checkedc / checkedc

bexxmodd / cr4sh_

moki / cs61c

Ferdi265 / dynamic-loader

jtod / Sigma16

rauhul / cs241

spamegg1 / modern-systems-scala-native

kishanpatel22 / kernel_concepts

OSSpk / Round-Robin-Scheduler

analytech-solutions / System.jl

cgyurgyik / riscv-assembly

jmcph4 / simplefs

tunacinsoy / CSE

aimalexe / DCSE

delta / codecharacter-driver-2022

amp-lang / amp_archive

cmaraziaris / ctf-csec-uoa-2021