#Systems-language

Showing 3 of 3 repositories tagged #systems-language, ranked by stars

A safe, easy systems language

★ 2.3k ⑂ 112 +3/day

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

★ 622 ⑂ 27 —

Jazz - modern and fast programming language.

★ 95 ⑂ 4 —

Related Topics

#compiler #llvm #programming-language #ante #language #refinement-types #bidirectional-typechecking #dependent-record-types #dependent-records #dependent-types #rust #systems-programming