A safe, easy systems language
-
Updated
Aug 11, 2024 - Rust
#
systems-language
Here are 12 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
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
Oct 24, 2024 - C++
Cone Programming Language
programming-language
compiler
concurrency
webassembly
cone
systems-language
memory-management
type-safety
web3d
-
Updated
Dec 12, 2022 - 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
May 17, 2023 - C++
Compiler and tools for the Loci programming language.
-
Updated
Dec 15, 2019 - C++
A fast functional language based on two level type theory
-
Updated
Jan 6, 2023 - Haskell
Jazz - modern and fast programming language.
-
Updated
Jun 17, 2022 - 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
café, a systems language
-
Updated
Feb 25, 2018 - Rust
Commnad line game. You're a secret agent and do maths for hack... HAVE FUN!
-
Updated
Feb 16, 2021 - C++
Homoiconic C - a universal data format for computation
-
Updated
Sep 20, 2024 - TypeScript
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."