compis
Systems programming language
A systems programming language that aims to provide clarity and memory safety through explicit type encoding and ownership-based memory management.
Contemporary systems programming language in the spirit of C
213 stars
10 watching
6 forks
Language: C
last commit: 3 months ago programming-language
Related projects:
| Repository | Description | Stars |
|---|---|---|
 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 |
| rsms/co | Developing a statically typed, general-purpose programming language with an optimizing compiler | 151 |
| rsms/move | A programming language designed to simplify and streamline JavaScript-based development for beginners and casual users. | 303 |
| rsms/wlang | Develops an assembler and compiler for a programming language | 47 |
 jondgoodwin/cone | A systems programming language with features such as memory management and concurrency support. | 529 |
 titzer/virgil | A language designed to build lightweight high-performance systems with a focus on balancing functional and object-oriented programming paradigms. | 1,244 |
 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 |
| rsms/hue | A functional programming language built on top of LLVM with the goal of producing highly optimized machine code. | 173 |
 saptakbhoumik/peregrine | A compiled systems programming language with a focus on simplicity and efficiency | 1,459 |
 austral/austral | A systems language with capability-based security and linear types for building secure and safe software systems. | 1,123 |
 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 |
 glouw/rr | A programming language and its runtime environment with features such as dynamic typing, garbage collection, and support for various data structures. | 67 |
 one-language/one | A system programming language designed to build reliable and efficient software with a focus on simplicity and high performance. | 288 |
 p-org/p | A programming language and analysis toolset for designing and verifying complex distributed systems. | 3,040 |
 michalstrehovsky/zerosharp | Demonstrates the use of C# for systems programming with native ahead-of-time compilation technology | 2,022 |