virgil
by titzer
A fast and lightweight native programming language
AI summary
Systems programming language
A language designed to build lightweight high-performance systems with a focus on balancing functional and object-oriented programming paradigms.
- stars
- 1.2K
- forks
- 52
- watching
- 21
- awesome lists
- 2
Similar projects
Found by comparing what the projects do, not just their names.
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.
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.
Systems programming language
A systems programming language with features such as memory management and concurrency support.
jfecher/ante1.9K
Systems language
A systems language focused on refinement types and lifetime inference
System Language
A system programming language designed to build reliable and efficient software with a focus on simplicity and high performance.
Systems language
A compiled systems programming language with a focus on simplicity and efficiency
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.
hylo-lang/hylo1.3K
Systems programming language
A reference implementation of a high-level systems programming language leveraging mutable value semantics and generic programming.
austral/austral1.1K
Secure Systems Language
A systems language with capability-based security and linear types for building secure and safe software systems.
Scripting language
A lightweight, embeddable scripting language with a simple syntax and support for object-oriented programming.
Programming language
A modern programming language designed to eliminate common issues and provide efficient performance while being easy to write and read.
Scripting language
An embeddable scripting language with value semantics.
System programming language
A statically typed, compiled language with features like modules and generics, aimed at system programming.
Programming language
A general-purpose programming language with features like type-first design, exception handling, and automatic memory management.
Featured in 2 awesome lists
Each link jumps to the spot where the list mentions virgil.
