hylo
Systems programming language
A reference implementation of a high-level systems programming language leveraging mutable value semantics and generic programming.
The Hylo programming language
1k stars
26 watching
59 forks
Language: Swift
last commit: 2 months ago
Linked from 1 awesome list
programming-language
learn-anything/programming-languagesRelated projects:
| Repository | Description | Stars |
|---|---|---|
 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. | 64 |
 titzer/virgil | A language designed to build lightweight high-performance systems with a focus on balancing functional and object-oriented programming paradigms. | 1,245 |
 adamsol/pyxell | A multi-paradigm programming language with static typing and compilation to native machine code. | 55 |
 jondgoodwin/cone | A systems programming language with features such as memory management and concurrency support. | 529 |
 saptakbhoumik/peregrine | A compiled systems programming language with a focus on simplicity and efficiency | 1,459 |
 japiirainen/fp | A small, experimental programming language with unique features and a Haskell implementation. | 102 |
 larsaugustin/starship | An interpreted language with strong typing and functional programming features for scripting and experimenting | 28 |
 holgerl/hilvl | A minimalist programming language built around single-argument invocations of services | 7 |
 alumina-lang/alumina | A statically typed, compiled language with features like modules and generics, aimed at system programming. | 181 |
 sviperll/argo | Developing a pragmatic functional programming language with a focus on tooling, simplicity, and incremental changes to enable stable growth and maintenance. | 10 |
 hfoffani/hypolambda | A compact functional programming language for .NET with a syntax based on Python. | 0 |
 cloe-lang/cloe | A Go-based functional programming language designed to simplify concurrent and reactive programming. | 410 |
 zatonovo/lambda.r | A programming language and syntax for functional programs in R with type checking and pattern matching | 216 |
 nilq/hugorm | A dynamically typed programming language with a focus on syntax simplicity and efficient bytecode virtual machine execution | 30 |
 one-language/one | A system programming language designed to build reliable and efficient software with a focus on simplicity and high performance. | 288 |