systems-programming

There are 381 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.

    Language:C#2.1k5736108
  • Vale

    ValeLang/Vale

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

    Language:Scala1.9k3736455
  • windows-api-function-cheatsheets

    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.

  • high-assurance-rust

    tnballo/high-assurance-rust

    A free book about developing secure and robust systems software.

    Language:Rust1.4k352036
  • magmide/magmide

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

    Language:Coq831511814
  • pikelet-lang/pikelet

    A friendly little systems language with first-class types. Very WIP! ๐Ÿšง ๐Ÿšง ๐Ÿšง

    Language:Rust625276327
  • IL2C

    kekyo/IL2C

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

    Language:C#4402310437
  • PacktPublishing/Mastering-Go-Second-Edition

    Mastering Go Second Edition, published by Packt

    Language:Go413191183
  • jstrieb/systems-programming-cheat-sheet

    Cheat sheet for x86-64 Linux systems programming

    Language:TeX3795022
  • mactsouk/mastering-Go-3rd

    Source code for Mastering Go, 3rd edition

    Language:Go3501212134
  • matheusmoreira/liblinux

    Linux system calls.

    Language:Makefile21671210
  • claudebarthels/infinity

    A lightweight C++ RDMA library for InfiniBand networks.

    Language:C++2046846
  • 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

    Language:Rust181510514
  • ldpl

    Lartu/ldpl

    COBOL-like programming language that compiles to C++. With serious dinosaurs with neckties and briefcases ๐Ÿฆ•๐Ÿ’ผ

    Language:C++1731212325
  • Floydlang/floyd

    The Floyd programming language

    Language:C++151107313
  • WildPixelGames/gdt-cpus

    Game Developer's Toolkit for CPU Management

    Language:Rust99113
  • Archetype-Dynamics/OstrichDB-CLI

    WIP | Harness The Power of OstrichDB Directly From Your Terminal! | Featured on Awesome Odin!

    Language:Odin669
  • CPascal

    tinyBigGAMES/CPascal

    ๐Ÿš€ CPascal is a systems programming language that combines Pascal's clean, readable syntax with C's semantic model and full ABI compatibility. โšก Compiles to LLVM with zero runtime overhead, enabling seamless interoperation with any C library without bindings. ๐ŸŽฎ Ideal for game development, ๐Ÿ”ง device drivers, and modernizing C codebases. ๐Ÿ’Ž

    Language:Pascal579
  • kiahjh/lovely

    A lovely programming language

    Language:Rust55
  • 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, so they might help students in understanding the Assembly concepts.

    Language:Assembly544021
  • paulcavallaro/systems-programming

    Examples of common systems programming optimizations

    Language:Starlark53302
  • POFR

    gmagklaras/POFR

    Penguin OS Forensic (or Flight) Recorder

    Language:Perl40115
  • Ferdi265/dynamic-loader

    A simple Linux dynamic loader capable of loading simple binaries using simple shared libraries (no glibc support)

    Language:C36327
  • rdmsr/tinyubsan

    Tiny libubsan implementation for hobby kernels

    Language:C30100
  • tamberg/fhnw-syspr

    FHNW Modul System-Programmierung (syspr)

    Language:C295034
  • spamegg1/modern-systems-scala-native

    Working through "Modern Systems Programming with Scala Native" by Richard Whaling, in Scala 3

    Language:Scala28400
  • YeautyYE/auto-allocator

    ๐Ÿš€ Zero-config automatic memory allocator for Rust - just add one line and get up to 1.6x faster allocation performance across all platforms

    Language:Rust28103
  • checkedc/checkedc-fork

    This was a fork of Checked C used from 2021-2024. The changes have been merged into the original Checked C repo.

    Language:C2734933
  • ashn-dot-dev/sunder

    A modest systems programming language for Unix-like platforms

    Language:C2611445
  • 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

    Language:Rust23203
  • gvwilson/sudonomicon

    An Introduction to Unix Systems for the Cautious and Weary

    Language:Python21052
  • moki/cs61c

    Great Ideas in Computer Architecture UC Berkeley EECS

    Language:C21007
  • harismuneer/Round-Robin-Scheduler

    ๐Ÿคน A C++ implementation of the Round Robin Scheduler algorithm for process scheduling.

    Language:C++172011
  • jtod/Sigma16

    Computer architecture for teaching and research in computer systems, with IDE, editor, assembler, linker, emulator, programming examples, digital circuit

    Language:JavaScript16126
  • cgyurgyik/riscv-assembly

    Implementation of common functions using RISC-V assembly.

    Language:Assembly14103
  • hesham-cant-fly/haste-lang

    The official implemetation of the haste programming language

    Language:C1410