insou22 / typing-the-technical-interview-rust
https://aphyr.com/posts/342-typing-the-technical-interview translated from Haskell to Rust
☆143Updated 2 years ago
Related projects: ⓘ
- Seamless Higher-Kinded Types in Rust☆74Updated last year
- A meta-JIT library for Rust interpreters☆158Updated last year
- Stack safe and expressive recursion in Rust☆89Updated 8 months ago
- Proc-macro typestate DSL for Rust☆139Updated last year
- Home of the "types team", affiliated with the compiler and lang teams.☆95Updated 11 months ago
- A fast, concurrent string interner☆137Updated last month
- This is a space where I express my thoughts and opinions on mostly technical things☆133Updated 8 months ago
- Comparison of Rust string types☆129Updated 2 weeks ago
- A flexible, simple to use, immutable, clone-efficient String replacement for Rust☆148Updated last month
- Safe collections written in stable Rust, based on GhostCell and StaticRc.☆177Updated 3 years ago
- Silky smooth Java-Rust interop☆139Updated this week
- A Rust code linter☆207Updated 3 months ago
- Rust String Libraries by mcyoung☆145Updated 2 weeks ago
- a model of MIR and the Rust type/trait system☆282Updated last month
- A pure functional language for type-level programming in Rust☆320Updated last year
- Compile-time reference counting☆428Updated last year
- ☆118Updated last year
- Fast, efficient, and robust memory reclamation for Rust.☆340Updated 2 months ago
- Garbage collected smart pointers for Rust☆266Updated 2 years ago
- Please do not use this.