- Tyrade: a pure functional language for type-level programming in Rust https://github.com/willcrichton/tyrade 13 comments rust
Linking pages
Linked pages
- Rust's Type System is Turing-Complete – Recursive Descent into Madness – A countable set of sanities and insanities, by Shea Leffler. https://sdleffler.github.io/RustTypeSystemTuringComplete/ 294 comments
- GitHub - doctorn/trait-eval: We all know Rust's trait system is Turing complete, so tell me, why aren't we exploiting this??? https://github.com/doctorn/trait-eval 80 comments
- GitHub - Munksgaard/session-types https://github.com/Munksgaard/session-types 49 comments
- Type-level Programming in Rust | Will Crichton http://willcrichton.net/notes/type-level-programming/ 29 comments
Would you like to stay up to date with Rust? Checkout Rust
Weekly.
Related searches:
Search whole site: site:github.com
Search title: GitHub - willcrichton/tyrade: A pure functional language for type-level programming in Rust
See how to search.