A safe, easy systems language
-
Updated
Oct 12, 2026 - Rust
#
systems-language
Here are 55 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
Oct 14, 2026 - C
A fast functional language based on two level type theory
-
Updated
Jan 6, 2023 - Haskell
Cyrus is a high-performance systems programming language with explicit syntax and semantics, minimal abstraction and runtime, and manual memory management.
-
Updated
Oct 12, 2026 - Rust
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
Sep 1, 2026 - C++
a fast systems programming language for high-performance software and gamedev: data-oriented, multi-paradigm, null-safe, safety checks, C-like syntax, C interop, native code/JIT via LLVM, C backend
language programming-language gamedev compiler game-engine data-oriented-design high-performance llvm game-development jit systems-language low-level data-oriented systems-programming null-safety systems-programming-language
-
Updated
Oct 13, 2026 - 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
A systems programming language built around explicitness, predictability, and control.
performance compiler static-analysis systems-language memory-safety low-level systems-programming sulfur programming-langage
-
Updated
Oct 14, 2026 - C
A self-contained systems language built around simplicity, encapsulation, and foolproof design.
compiler programming-languages mach-o developer-tools systems-language arm64 ownership type-system standard-library native-code static-typing lsp
-
Updated
Sep 25, 2026 - Rust
A custom programming language to replace C++
-
Updated
Sep 12, 2026 - C++
Homoiconic C - a universal data format for computation
-
Updated
Oct 14, 2026 - TypeScript
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
Quadrate toolchain
programming-language compiler llvm jit concatenative systems-language stack-based native-code systems-programming
-
Updated
Oct 1, 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
Oct 13, 2026 - Python
Commnad line game. You're a secret agent and do maths for hack... HAVE FUN!
-
Updated
Feb 16, 2021 - C++
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
A modular network & security auditing toolkit written in Yolish (custom-built systems language).
-
Updated
Aug 13, 2026 - Yacc
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."