Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with systems-language
A curated list of projects in awesome lists tagged with systems-language .
https://github.com/jfecher/ante
A safe, easy systems language
ante compiler language llvm refinement-types systems-language
Last synced: 30 Sep 2024
https://github.com/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
Last synced: 02 Aug 2024
https://github.com/jondgoodwin/cone
Cone Programming Language
compiler concurrency cone memory-management programming-language systems-language type-safety web3d webassembly
Last synced: 01 Aug 2024
https://github.com/Lartu/ldpl
COBOL-like programming language that compiles to C++. With serious dinosaurs with neckties and briefcases 🦕💼
cobol compiled compiler dinosaur dinosaurs imperative-programming imperative-programming-language ldpl programming-language robust robustness static static-typed structured structured-programming systems-language systems-programming typed
Last synced: 01 Aug 2024
https://github.com/cx-language/cx
C* is a hybrid low-level/high-level systems programming language focused on performance and productivity.
compiler fast high-performance language native performance programming-language system-programming systems-language
Last synced: 02 Aug 2024
