virgil
Systems programming language
A language designed to build lightweight high-performance systems with a focus on balancing functional and object-oriented programming paradigms.
A fast and lightweight native programming language
1k stars
21 watching
52 forks
Language: Shell
last commit: 2 months ago
Linked from 2 awesome lists
compilergarbage-collectionnativeprogramming-languagesystem-programmingsystemswebassembly
appcypher/awesome-wasm-langs
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 |
 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 |
 jondgoodwin/cone | A systems programming language with features such as memory management and concurrency support. | 529 |
 jfecher/ante | A systems language focused on refinement types and lifetime inference | 1,920 |
 one-language/one | A system programming language designed to build reliable and efficient software with a focus on simplicity and high performance. | 288 |
 saptakbhoumik/peregrine | A compiled systems programming language with a focus on simplicity and efficiency | 1,459 |
 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 |
 hylo-lang/hylo | A reference implementation of a high-level systems programming language leveraging mutable value semantics and generic programming. | 1,268 |
 austral/austral | A systems language with capability-based security and linear types for building secure and safe software systems. | 1,129 |
 thakeenathees/pocketlang | A lightweight, embeddable scripting language with a simple syntax and support for object-oriented programming. | 1,520 |
 fuechs/fux | A modern programming language designed to eliminate common issues and provide efficient performance while being easy to write and read. | 11 |
 karlandr1/beryl | An embeddable scripting language with value semantics. | 30 |
 alumina-lang/alumina | A statically typed, compiled language with features like modules and generics, aimed at system programming. | 181 |
 thomasmertes/seed7 | A general-purpose programming language with features like type-first design, exception handling, and automatic memory management. | 236 |