A safe, easy systems language
-
Updated
Jun 29, 2026 - Rust
#
systems-language
Here are 35 public repositories matching this topic...
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
programming-language rust typechecker dependent-types compiler type-theory systems-language type-system systems-programming bidirectional-typechecking dependent-record-types dependent-records
-
Updated
May 16, 2021 - Rust
Cone Programming Language
programming-language compiler concurrency webassembly cone systems-language memory-management type-safety web3d
-
Updated
Dec 12, 2022 - C
A fast functional language based on two level type theory
-
Updated
Jan 6, 2023 - Haskell
COBOL-like programming language that compiles to C++. With serious dinosaurs with neckties and briefcases 🦕💼
programming-language compiler static cobol systems-language robust compiled typed dinosaur imperative-programming-language static-typed structured systems-programming dinosaurs robustness imperative-programming structured-programming ldpl
-
Updated
Apr 27, 2026 - C++
C* is a hybrid low-level/high-level systems programming language focused on performance and productivity.
language programming-language fast performance native compiler high-performance systems-language system-programming
-
Updated
Jun 15, 2025 - C++
An experimental systems programming language designed for simplicity, high performance, and low cognitive overhead, reducing long-term maintenance costs while keeping full control in the hands of the developer. (heavily under development)
-
Updated
Jul 1, 2026 - Rust
Compiler and tools for the Loci programming language.
-
Updated
Dec 15, 2019 - C++
Jazz - modern and fast programming language.
-
Updated
Jun 17, 2022 - Rust
café, a systems language
-
Updated
Feb 25, 2018 - Rust
Homoiconic C - a universal data format for computation
-
Updated
Dec 30, 2025 - HTML
Systems language and runtime for explicit authority, typed distribution, and security-first process supervision.
rust compiler runtime static-analysis actor-model systems-language formal-methods programing-language capabilities state-machines deterministic observability message-passing immutable-state effect-system fail-closed typed-concurrency strata-language mantle-runtime
-
Updated
Jun 19, 2026 - Rust
Concurrency-oriented functional programming language that compiles to C. Still in very early development 🚧
c functional compiler functional-programming recursion systems-language static-typed systems-programming static-typing functional-programming-language noit
-
Updated
Jun 2, 2024
Commnad line game. You're a secret agent and do maths for hack... HAVE FUN!
-
Updated
Feb 16, 2021 - C++
A custom programming language to replace C++
-
Updated
Jun 22, 2026 - C++
Quadrate toolchain
programming-language compiler llvm jit concatenative systems-language stack-based native-code systems-programming
-
Updated
Feb 16, 2026
Systems language for explicit effects, ownership-aware memory, actor/task concurrency, and native execution.
programming-language compiler async actor-model systems-language language-design memory-safety ownership native-code effect-system
-
Updated
Jun 30, 2026 - Go
A C-like systems compiler and toolchain targeting the 65C02, built for the Ben Eater breadboard kit computer.
-
Updated
Jun 28, 2026 - C
Dea is a systems programming language built through staged bootstrapping.
bootstrap programming-language compiler pattern-matching c99 systems-language memory-safety self-hosting compiler-construction programming-language-design
-
Updated
Jun 14, 2026 - Python
SQLite bindings for fastC — FFI to system libsqlite3, cap-typed file I/O. Part of the fastc-core six-month set.
rust library database sqlite ffi systems-language libsqlite3 fastc skelf-research sub-crate fastc-core
-
Updated
Jun 6, 2026
Improve this page
Add a description, image, and links to the systems-language topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the systems-language topic, visit your repo's landing page and select "manage topics."