insou22 / typing-the-technical-interview-rust
https://aphyr.com/posts/342-typing-the-technical-interview translated from Haskell to Rust
☆144Updated 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
- Stack safe and expressive recursion in Rust☆96Updated 3 months ago
- Proc-macro typestate DSL for Rust☆148Updated last year
- A fast, concurrent string interner☆149Updated 8 months ago
- Unborrowed Rust Compiler (rustc without a borrowchecker)☆107Updated last year
- A light wrapper around rr, the time-travelling debugger☆143Updated last year
- A pure functional language for type-level programming in Rust☆326Updated 2 years ago
- An IDE extension for debugging trait errors in Rust.☆109Updated last week
- Please do not use this.☆174Updated 3 years ago
- Seamless Higher-Kinded Types in Rust☆80Updated 2 years ago
- Home of the "types team", affiliated with the compiler and lang teams.☆95Updated last year
- Exploration of using Storage instead of Allocator to parameterize collections in Rust☆140Updated 2 years ago
- ☆30Updated 3 years ago
- ☆49Updated 4 years ago
- ☆99Updated 4 years ago
- replacement for std::{Range,RangeInclusive}☆36Updated 2 years ago
- Public repository for the Rust keyword generics initiative☆99Updated 8 months ago
- A Rust code linter☆212Updated 10 months ago
- Compile-time reference counting☆445Updated last year
- Propositional logic with types in Rust☆62Updated last year
- Typed index version of Rust slice and Vec containers☆69Updated 6 months ago
- ☆92Updated last year
- Procedural macro to implement Display and FromStr using common settings.☆184Updated last month
- Rust crate for writing repetitive code easier and faster.☆43Updated 2 years ago
- Safe, fallible, embedded-friendly ordered set/map via a scapegoat tree. Validated against BTreeSet/BTreeMap.☆260Updated 3 years ago
- 🦀 λ Overly-documented Rust-powered Lambda Calculus Interpreter.☆65Updated 3 weeks ago
- ☆112Updated 2 years ago
- A rust crate to offer compile-time assistance for working with unsafe code.☆122Updated 3 years ago
- PEG trace visualizer☆83Updated 3 months ago
- Choose Rust types at compile-time via constants☆64Updated last year
- Garbage collected smart pointers for Rust☆268Updated 3 years ago