ante
Systems language
A systems language focused on refinement types and lifetime inference
A safe, easy systems language
2k stars
31 watching
81 forks
Language: Rust
last commit: about 1 month ago antecompilerlanguagellvmrefinement-typessystems-language
Related 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 |
 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 |
 azur1s/holymer | A programming language being developed with Rust, aiming to implement compiler and interpreter components. | 42 |
 rust-lang/reference | The Rust Language Reference is the primary documentation for the Rust programming language. | 1,263 |
 alilleybrinker/langs-in-rust | A directory of programming languages implemented in Rust, serving as a source of inspiration and comparison. | 887 |
 titzer/virgil | A language designed to build lightweight high-performance systems with a focus on balancing functional and object-oriented programming paradigms. | 1,245 |
| rust-lang/rust | Empowering software developers to build reliable and efficient software using a fast and memory-efficient language with strong type safety and comprehensive tooling. | 99,490 |
 jondgoodwin/cone | A systems programming language with features such as memory management and concurrency support. | 529 |
 bradford-hamilton/monkey_lang_rust | Rewriting a scripting language in Rust to create a compiler and interpreter implementation | 6 |
 austral/austral | A systems language with capability-based security and linear types for building secure and safe software systems. | 1,129 |
 zesterer/tao | A statically-typed functional language with extensive type system features and optimization techniques, aimed at supporting totality, optimization, learning, and compiler development. | 1,098 |
 rune-rs/rune | An embeddable dynamic programming language for Rust. | 1,782 |
 raviqqe/fmm | A minimal functional programming language compiler target | 18 |
 alumina-lang/alumina | A statically typed, compiled language with features like modules and generics, aimed at system programming. | 181 |
 willcrichton/tyrade | Exploring type-level programming in Rust with a focus on simplicity and expressiveness | 323 |