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: over 2 years ago
Linked from 1 awesome list
Related projects:
Repository | Description | Stars |
---|---|---|
| A high-level language for Rust that allows users to write efficient code in a dynamic, Javascript-esque syntax | 337 |
| A directory of programming languages implemented in Rust, serving as a source of inspiration and comparison. | 887 |
| Rewriting a scripting language in Rust to create a compiler and interpreter implementation | 6 |
| A Rust development environment for Emacs | 727 |
| Rust bindings for a cross-platform GUI library | 1,646 |
| A Rust WebAssembly website example for practising English vocabulary | 8 |
| 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 |
| A translation project of the Rust programming language book | 63 |
| An implementation of the Rust trait system using a PROLOG-like logic solver | 1,860 |
| Tools for localizing Rust applications by extracting and managing translations. | 58 |
| Improving Rust's ecosystem to support game development by bridging the gap between game developers and the Rust project. | 511 |
| Defines and enforces style conventions for the Rust programming language. | 456 |
| An interactive Rust learning platform with examples and a live code editor. | 7,148 |
| A Clojure to Rust transpiler that translates a subset of Clojure syntax into Rust code | 162 |
| The Rust Language Reference is the primary documentation for the Rust programming language. | 1,263 |