Repository navigation

#

systems-language

jfecher / ante 

A safe, easy systems language

编译器languagesystems-languagerefinement-typesLLVMante
Rust
2102
1 个月前
pikelet-lang / pikelet 

A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧

dependent-typestypecheckertype-theory编程语言type-systemRustsystems-languagesystems-programming编译器
Rust
622
4 年前
jondgoodwin / cone 

Cone Programming Language

编程语言编译器web3dWebAssemblymemory-managementconcurrencytype-safetysystems-language
C
544
3 年前
eashanhatti / peridot 

A fast functional language based on two level type theory

dependent-typessystems-language编程语言type-theoryHaskell
Haskell
391
3 年前
Lartu / ldpl 

COBOL-like programming language that compiles to C++. With serious dinosaurs with neckties and briefcases 🦕💼

编程语言编译器cobolcompileddinosaurimperative-programming-languagerobustrobustnessstaticsystems-languagesystems-programmingtyped
C++
171
9 个月前
emillaine / cx 

C* is a hybrid low-level/high-level systems programming language focused on performance and productivity.

编程语言编译器systems-languagelanguagenativehigh-performancesystem-programmingperformancefast
C++
136
2 个月前
scrossuk / locic 

Compiler and tools for the Loci programming language.

编程语言systems-language
C++
116
6 年前
jazz-lang / Jazz 

Jazz - modern and fast programming language.

编程语言jazzsystems-language编译器LLVMcompile-time
Rust
94
3 年前
strega-nil / cafe-rs 

café, a systems language

编程语言dependent-typesaffinesystems-language
Rust
19
7 年前
TheSwanFactory / hclang 

Homoiconic C - a universal data format for computation

HTMLmarkup-languagemaml编程语言systems-language
HTML
5
5 个月前
noitlang / noit 

Concurrency-oriented functional programming language that compiles to C. Still in very early development 🚧

C编译器functional函数式编程recursionstatic-typingsystems-languagesystems-programming
4
1 年前
TheRustifyer / hacker_game 

Commnad line game. You're a secret agent and do maths for hack... HAVE FUN!

systems-language命令行界面函数式编程C++
C++
4
5 年前