aith
by Superstar64
[Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions.
AI summary
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.
- stars
- 64
- forks
- 0
- watching
- 6
Similar projects
Found by comparing what the projects do, not just their names.
titzer/virgil1.2K
Systems programming language
A language designed to build lightweight high-performance systems with a focus on balancing functional and object-oriented programming paradigms.
Systems programming language
A systems programming language focused on memory safety and developer productivity through design choices like automatic reference counting and immutable data structures.
jfecher/ante1.9K
Systems language
A systems language focused on refinement types and lifetime inference
Programming language
A small, experimental programming language with unique features and a Haskell implementation.
alanvf/star130
Programming language
An experimental programming language designed to be powerful, productive, and predictable with features like type specialization and rich standard libraries.
Systems programming language
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.
rsms/compis215
Systems programming language
A systems programming language that aims to provide clarity and memory safety through explicit type encoding and ownership-based memory management.
zesterer/tao1.1K
Functional language project
A statically-typed functional language with extensive type system features and optimization techniques, aimed at supporting totality, optimization, learning, and compiler development.
Systems programming language
A systems programming language with features such as memory management and concurrency support.
Programming language
A programming language with object-oriented features and basic syntax for simple statements and expressions.
Processor language
An experimental language prototype designed for modern processors with an aim to create an imperative programming language.
hylo-lang/hylo1.3K
Systems programming language
A reference implementation of a high-level systems programming language leveraging mutable value semantics and generic programming.
Systems language
A compiled systems programming language with a focus on simplicity and efficiency
glouw/rr68
Programming language
A programming language and its runtime environment with features such as dynamic typing, garbage collection, and support for various data structures.
