6 results found Sort:

jfecher
ante jfecher
84
2.0k
mit
30
A safe, easy systems language
ante llvm compiler language refinement-types systems-language
Created 2015-08-11
371 commits to master branch, last one 10 days ago
pikelet-lang
pikelet pikelet-lang
26
615
apache-2.0
29
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
19
535
mit
21
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 2 years ago
Lartu
ldpl Lartu
26
168
apache-2.0
12
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 4 months ago
emlai
cx emlai
8
132
mit
6
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
This repository has been archived (exclude archived)
Created 2016-12-07
1,353 commits to main branch, last one about a year ago
jazz-lang
Jazz jazz-lang
3
92
gpl-3.0
6
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