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 ⓘ
Alternatives and complementary repositories for typing-the-technical-interview-rust
- Seamless Higher-Kinded Types in Rust☆74Updated last year
- Stack safe and expressive recursion in Rust☆91Updated last month
- Home of the "types team", affiliated with the compiler and lang teams.☆96Updated last year
- replacement for std::{Range,RangeInclusive}☆36Updated last year
- An IDE extension for debugging trait errors in Rust.☆97Updated last week
- Proc-macro typestate DSL for Rust☆142Updated last year
- A meta-JIT library for Rust interpreters☆159Updated last year
- ☆95Updated 3 years ago
- exhaustive testing library☆58Updated 3 months ago
- Safe collections written in stable Rust, based on GhostCell and StaticRc.☆180Updated 3 years ago
- A fast, concurrent string interner☆140Updated 3 months ago
- A pure functional language for type-level programming in Rust☆323Updated 2 years ago
- Type-level named values with partial dependent type support in Rust☆55Updated 2 years ago
- lens implemented in rust☆111Updated last year
- Typed index version of Rust slice and Vec containers☆66Updated last month
- Unborrowed Rust Compiler (rustc without a borrowchecker)☆94Updated last year
- Cycle-tracking garbage collector library for Rust☆162Updated 2 months ago
- Exploration of using Storage instead of Allocator to parameterize collections in Rust☆137Updated last year
- Choose Rust types at compile-time via constants☆62Updated 10 months ago
- Rust Code Reading Clubs☆142Updated 3 years ago
- A syntactic "for" loop Rust macro☆56Updated last year
- A rust crate to offer compile-time assistance for working with unsafe code.☆121Updated 3 years ago
- Please do not use this.☆128Updated 2 years ago
- Compile-time reference counting☆436Updated last year
- Please do not use this.☆173Updated 3 years ago
- Silky smooth Java-Rust interop☆156Updated this week
- Safe, fallible, embedded-friendly ordered set/map via a scapegoat tree. Validated against BTreeSet/BTreeMap.☆255Updated 2 years ago
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆23Updated 7 months ago
- A light wrapper around rr, the time-travelling debugger☆142Updated last year
- ☆112Updated last year