systems-language

There are 3 repositories under systems-language topic.

jfecher / ante
A safe, easy systems language
compiler language systems-language refinement-types llvm ante
Language:Rust 1840
pikelet-lang / pikelet
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
bidirectional-typechecking compiler dependent-record-types dependent-records dependent-types programming-language rust systems-language systems-programming type-system type-theory typechecker
Language:Rust 607
jondgoodwin / cone
Cone Programming Language
cone programming-language compiler web3d webassembly memory-management concurrency type-safety systems-language
Language:C 507
eashanhatti / peridot
A fast functional language based on two level type theory
dependent-types haskell proglangs-discord programming-language systems-language type-theory
Language:Haskell 389
cx-language / cx
C* is a hybrid low-level/high-level systems programming language focused on performance and productivity.
programming-language compiler systems-language language native high-performance system-programming performance fast
Language:C++ 126
scrossuk / locic
Compiler and tools for the Loci programming language.
programming-language systems-language loci-programming-language
Language:C++ 111
jazz-lang / Jazz
Jazz - modern and fast programming language.
compile-time compiler jazz llvm programming-language systems-language
Language:Rust 90
strega-nil / cafe-rs
café, a systems language
programming-language dependent-types affine systems-language
Language:Rust 18
TheSwanFactory / hclang
Homoiconic C - a universal data format for computation
html markup-language maml programming-language homoiconic systems-language
Language:TypeScript 4
TheRustifyer / hacker_game
Commnad line game. You're a secret agent and do maths for hack... HAVE FUN!
hacker-game systems-language command-line-interface functional-programming cpp17
Language:C++ 3