~/home / tags / 系统编程

# 系统编程

13 个相关产品 · 中文解读 · 按热度排序

I wrote a Libc-free AOT systems language in JavaScript with no VM

一个无需 libc 和虚拟机的 AOT 编译系统级 JavaScript 语言，专为嵌入式或极致性能场景设计，解决传统 JS 运行时臃肿与依赖问题，适合系统开发者与性能敏感型项目

Rust 编程语言官方项目，以内存安全和高性能著称，适用于系统编程、嵌入式及高性能服务开发。

A pure ARM64 Assembly web server, now on Linux with CGI for no reason

一个纯 ARM64 汇编编写的 Web 服务器，运行在 Linux 上并支持 CGI，纯粹出于技术挑战和学习目的，展示底层编程能力。

Salt – a systems language with Z3 theorem proving in the compiler

Salt 是一种系统级编程语言，其编译器集成 Z3 定理证明器，可在编译时验证程序正确性，适合安全关键系统开发者，亮点是将形式化验证引入日常编程，提升代码可靠性

Nimic – Pure Python as a systems language with AOT compilation

Nimic 是一个纯 Python 编写的系统级编程语言，支持 AOT 编译，目标是让 Python 兼具开发效率与系统性能，适合追求高性能 Python 应用的开发者。

Mach – A compiled systems language looking for contributions

Mach 是一种编译型系统编程语言，旨在提供高性能与内存安全，适合系统级开发，欢迎开发者贡献代码，目标是成为现代系统编程的替代选择。

Rama 0.3 release (5 years in the making)

历时五年开发的 Rama 0.3 版本发布，一个专注于高效、可扩展的系统级开发框架，支持复杂应用构建与模块化管理

Phobos – A tiny scale-free kernel language with tile-DAG support

Phobos 是一个极简的无环图（tile-DAG）支持的可扩展内核语言，专为高性能计算和系统编程设计，适合需要低延迟、高并发的开发者。

I wrote a Libc-free AOT systems language in JavaScript with no VM

一个无 libc、无虚拟机的 AOT 编译系统级语言，用 JavaScript 实现，可在浏览器或 Node.js 中直接运行，适合构建轻量级系统工具。

ForkUnion v3 – Faster OpenMP-style thread-pool for C, C++, Rust, & Zig

ForkUnion v3 是一个为 C/C++/Rust/Zig 语言设计的超快 OpenMP 风格线程池，通过零锁设计和内存优化实现比传统实现更高的并发性能；

verus-lang/verus

Rust语言的可验证编程系统，用于编写经过形式化验证的低级系统代码，提升安全性和可靠性，适用于关键系统开发

Jik – a language with region-based memory management that compiles to C

Jik 是一种基于区域内存管理的系统编程语言，可编译为 C，旨在提供安全的内存管理与高性能的系统级开发体验，适合系统开发者和嵌入式开发人员。

Ohnrscript – A systems language and HTTP unikernel in JavaScript syntax

Ohnrscript 是一种用 JavaScript 语法编写的系统级语言和 HTTP 无服务器内核（unikernel），旨在用前端熟悉的语法构建高性能、轻量级的底层系统应用，适

其他标签