ante
by jfecher
A safe, easy systems language
AI summary
Systems language
A systems language focused on refinement types and lifetime inference
- stars
- 1.9K
- forks
- 81
- watching
- 31
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 systems programming language focused on memory safety and developer productivity through design choices like automatic reference counting and immutable data structures.
Language compiler
A programming language being developed with Rust, aiming to implement compiler and interpreter components.
Language reference
The Rust Language Reference is the primary documentation for the Rust programming language.
Rust language list
A directory of programming languages implemented in Rust, serving as a source of inspiration and comparison.
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.
rust-lang/rust99.5K
Software development framework
Empowering software developers to build reliable and efficient software using a fast and memory-efficient language with strong type safety and comprehensive tooling.
Systems programming language
A systems programming language with features such as memory management and concurrency support.
Scripting language compiler/interpreter
Rewriting a scripting language in Rust to create a compiler and interpreter implementation
austral/austral1.1K
Secure Systems Language
A systems language with capability-based security and linear types for building secure and safe software systems.
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.
rune-rs/rune1.8K
Dynamic language
An embeddable dynamic programming language for Rust.
Compiler
A minimal functional programming language compiler target
System programming language
A statically typed, compiled language with features like modules and generics, aimed at system programming.
Type level language exploration
Exploring type-level programming in Rust with a focus on simplicity and expressiveness
