cone
Systems programming language
A systems programming language with features such as memory management and concurrency support.
Cone Programming Language
529 stars
22 watching
17 forks
Language: C
last commit: almost 2 years ago
Linked from 1 awesome list
compilerconcurrencyconememory-managementprogramming-languagesystems-languagetype-safetyweb3dwebassembly
learn-anything/programming-languagesRelated projects:
| Repository | Description | Stars |
|---|---|---|
 davidgiven/cowgol | A programming language designed to be self-hosted on small systems, compiled from itself, and optimized for tiny size and speed. | 248 |
 rsms/compis | A systems programming language that aims to provide clarity and memory safety through explicit type encoding and ownership-based memory management. | 213 |
 superstar64/aith | A language project that aims to create a systems programming language with a strong emphasis on type systems and advanced features like levity polymorphism, first-class inline functions, linear types, and effectful regions. | 65 |
 saptakbhoumik/peregrine | A compiled systems programming language with a focus on simplicity and efficiency | 1,459 |
 uniconproject/unicon | A high-level programming language with a dynamic type system and support for various CPU architectures. | 57 |
| rsms/wlang | Develops an assembler and compiler for a programming language | 47 |
 titzer/virgil | A language designed to build lightweight high-performance systems with a focus on balancing functional and object-oriented programming paradigms. | 1,244 |
 awesomekling/jakt | A systems programming language focused on memory safety and developer productivity through design choices like automatic reference counting and immutable data structures. | 33 |
 p-org/p | A programming language and analysis toolset for designing and verifying complex distributed systems. | 3,040 |
 one-language/one | A system programming language designed to build reliable and efficient software with a focus on simplicity and high performance. | 288 |
 jfecher/ante | A systems language focused on refinement types and lifetime inference | 1,908 |
 nim-works/nimskull | A statically typed systems programming language designed to be sustainable and scalable, with the goal of creating software that can be maintained by its community. | 280 |
 ajaymt/silk | A statically typed imperative programming language with a focus on simplicity and flexibility, designed to be comparable to C. | 79 |
 japiirainen/fp | A small, experimental programming language with unique features and a Haskell implementation. | 102 |
 dbetz/etalk | A programming language with object-oriented features and basic syntax for simple statements and expressions. | 3 |