16 results found Sort:
- Filter by Primary Language:
- Rust (3)
- C++ (3)
- C# (2)
- Go (2)
- Starlark (1)
- Assembly (1)
- TeX (1)
- Coq (1)
- Perl (1)
- Scala (1)
- +
Demo of the potential of C# for systems programming with the .NET native ahead-of-time compilation technology.
Created
2019-02-03
20 commits to master branch, last one 5 months ago
Compiler for the Vale programming language - http://vale.dev/
Created
2020-06-28
1,167 commits to master branch, last one 7 months ago
A free book about developing secure and robust systems software.
Created
2022-03-25
187 commits to main branch, last one 11 months ago
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
Created
2020-08-21
195 commits to main branch, last one 9 months ago
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
Created
2017-12-19
1,071 commits to main branch, last one 3 years ago
IL2C - A translator for ECMA-335 CIL/MSIL to C language.
Created
2017-09-15
980 commits to master branch, last one 4 years ago
Mastering Go Second Edition, published by Packt
Created
2019-01-09
318 commits to master branch, last one about a year ago
Cheat sheet for x86-64 Linux systems programming
Created
2021-06-30
22 commits to master branch, last one 3 years ago
Source code for Mastering Go, 3rd edition
Created
2020-11-20
34 commits to main branch, last one 5 months ago
A lightweight C++ RDMA library for InfiniBand networks.
Created
2018-05-08
28 commits to master branch, last one 4 years ago
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
Created
2017-11-24
1,626 commits to development branch, last one 4 months ago
COBOL-like programming language that compiles to C++. With serious dinosaurs with neckties and briefcases 🦕💼
Created
2019-01-25
991 commits to master branch, last one about a month ago
The Floyd programming language
Created
2013-07-16
2,961 commits to master branch, last one 4 years ago
💻 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. EE...
afd
pcb
bao-ji
dosbox
interrupts
assembly-x86
video-memory
assembly-8086
nasm-assembly
solved-exercices
assembly-language
hardware-interrupts
software-interrupts
systems-programming
belal-hashmi-answers
cs401-solved-exercises
belal-hashmi-book-solutions
assembly-language-programming
belal-hashmi-solved-exercises
bilal-hashmi-exercise-solutions
Created
2018-07-02
52 commits to master branch, last one 26 days ago
Examples of common systems programming optimizations
Created
2019-08-10
34 commits to master branch, last one 3 years ago
Penguin OS Forensic (or Flight) Recorder
Created
2021-02-25
343 commits to main branch, last one 11 months ago