insou22 / typing-the-technical-interview-rustLinks
https://aphyr.com/posts/342-typing-the-technical-interview translated from Haskell to Rust
☆148Updated 3 years ago
Alternatives and similar repositories for typing-the-technical-interview-rust
Users that are interested in typing-the-technical-interview-rust are comparing it to the libraries listed below
Sorting:
- Stack safe and expressive recursion in Rust☆103Updated 4 months ago
- A meta-JIT library for Rust interpreters☆165Updated 2 years ago
- Home of the "types team", affiliated with the compiler and lang teams.☆96Updated 2 years ago
- A pure functional language for type-level programming in Rust☆336Updated 2 years ago
- A fast, concurrent string interner☆156Updated last year
- exhaustive testing library☆65Updated last year
- ☆105Updated 4 years ago
- Please do not use this.☆186Updated 4 years ago
- Seamless Higher-Kinded Types in Rust☆86Updated 2 years ago
- Unborrowed Rust Compiler (rustc without a borrowchecker)☆111Updated last year
- Stochastically generates machine code☆102Updated this week
- Proc-macro typestate DSL for Rust☆151Updated 2 years ago
- A Minsky Machine in Rust's type system☆56Updated 5 years ago
- Safe collections written in stable Rust, based on GhostCell and StaticRc.☆185Updated 4 years ago
- Choose Rust types at compile-time via constants☆68Updated last year
- Easy-to-use optional function arguments for Rust☆47Updated last year
- 🎶 Choreographic programming in Rust 🎶☆59Updated 6 months ago
- Resilient LL(1) parser generator for Rust☆172Updated 3 weeks ago
- a model of MIR and the Rust type/trait system☆317Updated last month
- PEG trace visualizer☆89Updated last week
- replacement for std::{Range,RangeInclusive}☆36Updated 2 years ago
- Exploration of using Storage instead of Allocator to parameterize collections in Rust☆140Updated 2 years ago
- Type-level named values with partial dependent type support in Rust☆57Updated 3 years ago
- An experimental implementation of Avatar Logic with a Prolog-like syntax☆68Updated last year
- The Haskell’s do notation brought to Rust☆64Updated 3 years ago
- An experiment in an augmented error handling type for Rust☆40Updated last month
- Experimental type level programming in Rust☆40Updated 4 years ago
- ☆48Updated 5 years ago
- a pragmatic point-free theorem prover assistant☆142Updated 3 weeks ago
- Public repository for the Rust keyword generics initiative☆106Updated last year