GitHub 中文社区
回车: Github搜索    Shift+回车: Google搜索
论坛
排行榜
趋势
登录

©2025 GitHub中文社区论坛GitHub官网网站地图GitHub官方翻译

  • X iconGitHub on X
  • Facebook iconGitHub on Facebook
  • Linkedin iconGitHub on LinkedIn
  • YouTube iconGitHub on YouTube
  • Twitch iconGitHub on Twitch
  • TikTok iconGitHub on TikTok
  • GitHub markGitHub’s organization on GitHub
集合主题趋势排行榜
#

systems-programming

Website
Wikipedia
https://static.github-zh.com/github_avatars/MichalStrehovsky?size=40
MichalStrehovsky / zerosharp

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

systems-programmingC#
C# 2.08 k
1 年前
ValeLang/Vale
https://static.github-zh.com/github_avatars/ValeLang?size=40
ValeLang / Vale

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

language编译器编程语言systems-programmingvale
Scala 1.9 k
1 年前
tnballo/high-assurance-rust
https://static.github-zh.com/github_avatars/tnballo?size=40
tnballo / high-assurance-rust

A free book about developing secure and robust systems software.

Rust安全reliabilitysystems-programmingbook
Rust 1.35 k
1 年前
https://static.github-zh.com/github_avatars/magmide?size=40
magmide / magmide

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

formal-verificationformal-methodstype-safetysystems-programmingdependent-typesverificationlogicCoq
Coq 824
1 年前
https://static.github-zh.com/github_avatars/pikelet-lang?size=40
pikelet-lang / pikelet

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

dependent-typestypecheckertype-theory编程语言type-systemRustsystems-languagesystems-programming编译器
Rust 620
4 年前
https://static.github-zh.com/github_avatars/kekyo?size=40
kekyo / IL2C

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

cilmsilCC#.NETtranslatortranspilerecma335intermediate-languageF#ArduinoUEFIsystems-programmingaot
C# 425
3 年前
https://static.github-zh.com/github_avatars/PacktPublishing?size=40
PacktPublishing / Mastering-Go-Second-Edition

Mastering Go Second Edition, published by Packt

Gosystems-programming
Go 409
2 年前
https://static.github-zh.com/github_avatars/jstrieb?size=40
jstrieb / systems-programming-cheat-sheet

Cheat sheet for x86-64 Linux systems programming

Unixsystems-programmingcheatsheetscheat-sheetcheat-sheetscheatsheetx86-64
TeX 369
4 年前
https://static.github-zh.com/github_avatars/mactsouk?size=40
mactsouk / mastering-Go-3rd

Source code for Mastering Go, 3rd edition

Go编程语言systems-programmingcommand-line-toolbook
Go 331
1 个月前
https://static.github-zh.com/github_avatars/matheusmoreira?size=40
matheusmoreira / liblinux

Linux system calls.

Linuxsyscallssystems-programming
Makefile 214
6 年前
https://static.github-zh.com/github_avatars/claudebarthels?size=40
claudebarthels / infinity

A lightweight C++ RDMA library for InfiniBand networks.

rdmainfinibandone-sidedNetworkhigh-performance-computingsystems-programmingnetwork-programminginterface
C++ 196
3 年前
https://static.github-zh.com/github_avatars/volution?size=40
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

schemeRustinterpretersystems-programming函数式编程scriptingshell-scripting
Rust 177
10 个月前
https://static.github-zh.com/github_avatars/Lartu?size=40
Lartu / ldpl

COBOL-like programming language that compiles to C++. With serious dinosaurs with neckties and briefcases 🦕💼

编程语言编译器cobolcompileddinosaurimperative-programming-languagerobustrobustnessstaticsystems-languagesystems-programmingtyped
C++ 172
7 个月前
https://static.github-zh.com/github_avatars/Floydlang?size=40
Floydlang / floyd

The Floyd programming language

floydlanguageperformancepersistent-data-structuresactorsconcurrencyparallelismC++software-systemscomposablethreading游戏开发immutableimmutable-data-structuressystems-programmingoptimisation
C++ 151
3 年前
https://static.github-zh.com/github_avatars/WildPixelGames?size=40
WildPixelGames / gdt-cpus

Game Developer's Toolkit for CPU Management

cpuffi游戏开发gdtmultithreadingperformancerealtimeRustschedulingsystems-programming
Rust 87
21 天前
https://static.github-zh.com/github_avatars/Archetype-Dynamics?size=40
Archetype-Dynamics / OstrichDB-CLI

WIP | Harness The Power of OstrichDB Directly From Your Terminal!

数据库NoSQLodinmacOS命令行界面dbmsdatabase-managementodin-langOpen Sourcesystems-programmingLinuxhttp-server
Odin 61
22 天前
https://static.github-zh.com/github_avatars/harismuneer?size=40
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. EE...

assembly-language-programmingsystems-programmingAssemblypcbdosbox
Assembly 53
5 个月前
https://static.github-zh.com/github_avatars/paulcavallaro?size=40
paulcavallaro / systems-programming

Examples of common systems programming optimizations

C++systems-programmingoptimization
Starlark 51
4 年前
https://static.github-zh.com/github_avatars/gmagklaras?size=40
gmagklaras / POFR

Penguin OS Forensic (or Flight) Recorder

Linuxdigital-forensicssystems-programmingdfirincident-responseCybersecuritycyber-threat-intelligenceintrusion-detection
Perl 40
6 个月前
https://static.github-zh.com/github_avatars/Ferdi265?size=40
Ferdi265 / dynamic-loader

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

Csystems-programmingLinuxmuslcmakedynamic-loading
C 32
1 个月前
loading...