6 results found Sort:

jfecher
ante jfecher
79
1.9k
mit
31
A safe, easy systems language
ante llvm compiler language refinement-types systems-language
Created 2015-08-11
356 commits to master branch, last one 9 days ago
pikelet-lang
pikelet pikelet-lang
26
610
apache-2.0
30
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
rust compiler type-system type-theory typechecker dependent-types systems-language dependent-records systems-programming programming-language dependent-record-types bidirectional-typechecking
Created 2017-12-19
1,071 commits to main branch, last one 3 years ago
jondgoodwin
cone jondgoodwin
17
529
mit
22
Cone Programming Language
cone web3d compiler concurrency type-safety webassembly systems-language memory-management programming-language
Created 2017-09-21
1,117 commits to master branch, last one about a year ago
Lartu
ldpl Lartu
24
162
apache-2.0
13
COBOL-like programming language that compiles to C++. With serious dinosaurs with neckties and briefcases 🦕💼
ldpl cobol typed robust static compiled compiler dinosaur dinosaurs robustness structured static-typed systems-language systems-programming programming-language imperative-programming structured-programming imperative-programming-language
Created 2019-01-25
991 commits to master branch, last one 8 days ago
cx-language
cx cx-language
9
130
mit
7
C* is a hybrid low-level/high-level systems programming language focused on performance and productivity.
fast native compiler language performance high-performance systems-language system-programming programming-language
Created 2016-12-07
1,353 commits to main branch, last one about a year ago
jazz-lang
Jazz jazz-lang
3
90
gpl-3.0
7
Jazz - modern and fast programming language.
jazz llvm compiler compile-time systems-language programming-language
Created 2019-01-05
130 commits to master branch, last one 4 years ago