insou22 / typing-the-technical-interview-rust
https://aphyr.com/posts/342-typing-the-technical-interview translated from Haskell to Rust
☆143Updated 2 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
- Unborrowed Rust Compiler (rustc without a borrowchecker)☆106Updated last year
- A pure functional language for type-level programming in Rust☆326Updated 2 years ago
- A fast, concurrent string interner☆149Updated 7 months ago
- Home of the "types team", affiliated with the compiler and lang teams.☆96Updated last year
- Stack safe and expressive recursion in Rust☆96Updated 2 months ago
- A meta-JIT library for Rust interpreters☆162Updated 2 years ago
- Seamless Higher-Kinded Types in Rust☆79Updated 2 years ago
- An IDE extension for debugging trait errors in Rust.☆108Updated last week
- a model of MIR and the Rust type/trait system☆297Updated last week
- Proc-macro typestate DSL for Rust☆146Updated last year
- ☆98Updated 4 years ago
- Exploration of using Storage instead of Allocator to parameterize collections in Rust☆140Updated 2 years ago
- A flexible, simple to use, immutable, clone-efficient String replacement for Rust☆151Updated 8 months ago
- Safe collections written in stable Rust, based on GhostCell and StaticRc.☆182Updated 3 years ago
- exhaustive testing library☆63Updated 8 months ago
- A tool to mine crates.io and produce static websites☆129Updated 5 months ago
- lens implemented in rust☆114Updated last year
- An experimental linting interface for Rust. Let's make custom lints a reality☆148Updated last year
- A light wrapper around rr, the time-travelling debugger☆143Updated last year
- Please do not use this.☆174Updated 3 years ago
- Type that deserializes only from one specific value☆231Updated 3 weeks ago
- Propositional logic with types in Rust☆62Updated last year
- A Rust code linter☆211Updated 9 months ago
- 🎶 Choreographic programming in Rust 🎶☆53Updated 2 weeks ago
- Safe, zero-cost tail recursion for stable Rust☆158Updated 5 months ago
- Define compiler intermediate representation usable by external tools☆71Updated 9 months ago
- Type-level named values with partial dependent type support in Rust☆57Updated 2 years ago
- Graph the number of crates that depend on your crate over time☆236Updated this week
- Public repository for the Rust keyword generics initiative☆98Updated 7 months ago
- hindley-milner algorithm☆58Updated last year