insou22 / typing-the-technical-interview-rust
https://aphyr.com/posts/342-typing-the-technical-interview translated from Haskell to Rust
☆142Updated 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
- Seamless Higher-Kinded Types in Rust☆76Updated 2 years ago
- An IDE extension for debugging trait errors in Rust.☆99Updated 2 weeks ago
- Stack safe and expressive recursion in Rust☆95Updated last week
- Home of the "types team", affiliated with the compiler and lang teams.☆96Updated last year
- A fast, concurrent string interner☆146Updated 4 months ago
- A pure functional language for type-level programming in Rust☆324Updated 2 years ago
- Public repository for the Rust keyword generics initiative☆97Updated 5 months ago
- exhaustive testing library☆63Updated 5 months ago
- Safe, zero-cost tail recursion for stable Rust☆152Updated 3 months ago
- Please do not use this.☆173Updated 3 years ago
- This is a space where I express my thoughts and opinions on mostly technical things☆135Updated 2 months ago
- ☆48Updated 4 years ago
- Rust crate for writing repetitive code easier and faster.☆43Updated 2 years ago
- Exploration of using Storage instead of Allocator to parameterize collections in Rust☆139Updated last year
- Brief implementation of Trees that Grow in Rust☆39Updated 2 years ago
- Unborrowed Rust Compiler (rustc without a borrowchecker)☆93Updated last year
- Type-level named values with partial dependent type support in Rust☆56Updated 2 years ago
- ☆97Updated 3 years ago
- a pragmatic point-free theorem prover assistant☆137Updated last year
- A meta-JIT library for Rust interpreters☆161Updated last year
- A Rust code linter☆210Updated 7 months ago
- Small, fast, synchronization primitives☆240Updated 4 months ago
- An evil parsing library.☆54Updated last year
- A light wrapper around rr, the time-travelling debugger☆142Updated last year
- replacement for std::{Range,RangeInclusive}☆36Updated 2 years ago
- hindley-milner algorithm☆54Updated last year
- Safe, fallible, embedded-friendly ordered set/map via a scapegoat tree. Validated against BTreeSet/BTreeMap.☆257Updated 2 years ago
- Easy-to-use optional function arguments for Rust☆46Updated 9 months ago
- Stochastically generates machine code☆96Updated last week
- Comparing parser APIs☆105Updated 2 weeks ago