A safe, easy systems language
-
Updated
Jun 6, 2026 - Rust
#
systems-language
Here are 28 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++
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
Quadrate toolchain
programming-language compiler llvm jit concatenative systems-language stack-based native-code systems-programming
-
Updated
Feb 16, 2026
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 7, 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
May 26, 2026 - C++
GlowLang — An Indian-origin programming language focused on innovation, performance, ethical technology, and enterprise-grade development.
c programming-language interpreter compiler runtime developer-tools systems-language language-design systems-programming glowlang
-
Updated
Jun 6, 2026 - C
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 6, 2026 - Go
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
May 22, 2026 - Python
Small C like compiler targetting the 65C02 Processor meant for the Ben Eater kit computer
-
Updated
Jun 5, 2026 - Rust
Specification for an agent-native systems language built for structural program synthesis, explicit effects, and deterministic native compilation.
-
Updated
Mar 15, 2026 - HTML
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."