aith
Systems programming language
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.
[Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions.
64 stars
6 watching
0 forks
Language: Haskell
last commit: over 2 years agocompilerearly-developmentlanguage
Related projects:
| Repository | Description | Stars |
|---|---|---|
 titzer/virgil | A language designed to build lightweight high-performance systems with a focus on balancing functional and object-oriented programming paradigms. | 1,245 |
 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 |
 jfecher/ante | A systems language focused on refinement types and lifetime inference | 1,920 |
 japiirainen/fp | A small, experimental programming language with unique features and a Haskell implementation. | 102 |
 alanvf/star | An experimental programming language designed to be powerful, productive, and predictable with features like type specialization and rich standard libraries. | 130 |
 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. | 284 |
 rsms/compis | A systems programming language that aims to provide clarity and memory safety through explicit type encoding and ownership-based memory management. | 215 |
 zesterer/tao | A statically-typed functional language with extensive type system features and optimization techniques, aimed at supporting totality, optimization, learning, and compiler development. | 1,098 |
 jondgoodwin/cone | A systems programming language with features such as memory management and concurrency support. | 529 |
 dbetz/etalk | A programming language with object-oriented features and basic syntax for simple statements and expressions. | 3 |
 mathnerd314/stroscot | An experimental language prototype designed for modern processors with an aim to create an imperative programming language. | 13 |
 hylo-lang/hylo | A reference implementation of a high-level systems programming language leveraging mutable value semantics and generic programming. | 1,268 |
 saptakbhoumik/peregrine | A compiled systems programming language with a focus on simplicity and efficiency | 1,459 |
 glouw/rr | A programming language and its runtime environment with features such as dynamic typing, garbage collection, and support for various data structures. | 68 |