tyrade
Type level language exploration
Exploring type-level programming in Rust with a focus on simplicity and expressiveness
A pure functional language for type-level programming in Rust
323 stars
11 watching
13 forks
Language: Rust
last commit: about 2 years ago
Linked from 1 awesome list
learn-anything/programming-languagesRelated projects:
| Repository | Description | Stars |
|---|---|---|
| willcrichton/lia | A high-level language for Rust that allows users to write efficient code in a dynamic, Javascript-esque syntax | 338 |
 alilleybrinker/langs-in-rust | A directory of programming languages implemented in Rust, serving as a source of inspiration and comparison. | 874 |
 bradford-hamilton/monkey_lang_rust | Rewriting a scripting language in Rust to create a compiler and interpreter implementation | 6 |
 brotzeit/rustic | A Rust development environment for Emacs | 728 |
 fltk-rs/fltk-rs | Rust bindings for a lightweight GUI library with customizable widgets and permissive licensing. | 1,614 |
 rayylee/keypress | A Rust WebAssembly website example for practising English vocabulary | 8 |
 rust-lang/rust | The Rust project provides tools and infrastructure to build efficient, reliable software | 98,564 |
 rust-lang-ru/rust-by-example | A translation project of the Rust programming language book | 63 |
| rust-lang/chalk | An implementation of the Rust trait system using a PROLOG-like logic solver | 1,843 |
 woboq/tr | Tools for localizing Rust applications by extracting and managing translations. | 58 |
 rust-gamedev/wg | Improving Rust's ecosystem to support game development by bridging the gap between game developers and the Rust project. | 514 |
| rust-lang/style-team | Defines and enforces style conventions for the Rust programming language. | 454 |
| rust-lang/rust-by-example | An interactive Rust learning platform with examples and a live code editor. | 7,082 |
 timothypratley/rustly | A Clojure to Rust transpiler that translates a subset of Clojure syntax into Rust code | 161 |
| rust-lang/reference | The Rust Language Reference is the primary documentation for the Rust programming language. | 1,248 |