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 | 337 |
 alilleybrinker/langs-in-rust | A directory of programming languages implemented in Rust, serving as a source of inspiration and comparison. | 887 |
 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 | 727 |
 fltk-rs/fltk-rs | Rust bindings for a cross-platform GUI library | 1,646 |
 rayylee/keypress | A Rust WebAssembly website example for practising English vocabulary | 8 |
 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 |
 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,860 |
 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. | 511 |
| rust-lang/style-team | Defines and enforces style conventions for the Rust programming language. | 456 |
| rust-lang/rust-by-example | An interactive Rust learning platform with examples and a live code editor. | 7,148 |
 timothypratley/rustly | A Clojure to Rust transpiler that translates a subset of Clojure syntax into Rust code | 162 |
| rust-lang/reference | The Rust Language Reference is the primary documentation for the Rust programming language. | 1,263 |