insou22 / typing-the-technical-interview-rustLinks
https://aphyr.com/posts/342-typing-the-technical-interview translated from Haskell to Rust
☆149Updated 3 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
Sorting:
- Stack safe and expressive recursion in Rust☆105Updated 7 months ago
- A pure functional language for type-level programming in Rust☆338Updated 3 years ago
- Stochastically generates machine code☆102Updated 3 weeks ago
- A fast, concurrent string interner☆162Updated last year
- Home of the "types team", affiliated with the compiler and lang teams.☆97Updated 2 years ago
- A meta-JIT library for Rust interpreters☆164Updated 2 years ago
- Seamless Higher-Kinded Types in Rust☆87Updated 2 years ago
- exhaustive testing library☆66Updated last year
- 🎶 Choreographic programming in Rust 🎶☆64Updated 9 months ago
- ☆107Updated 4 years ago
- Unborrowed Rust Compiler (rustc without a borrowchecker)☆111Updated 2 years ago
- Resilient LL(1) parser generator for Rust☆185Updated 3 weeks ago
- Choose Rust types at compile-time via constants☆69Updated last year
- ☆50Updated 5 years ago
- An ergonomic tracing garbage collector that supports mark 'n sweep garbage collection☆253Updated 3 years ago
- PEG trace visualizer☆94Updated 3 months ago
- Type-level named values with partial dependent type support in Rust☆57Updated 3 years ago
- Proc-macro typestate DSL for Rust☆153Updated 2 years ago
- Safe collections written in stable Rust, based on GhostCell and StaticRc.☆187Updated 4 years ago
- 🦀 λ Overly-documented Rust-powered Lambda Calculus Interpreter.☆69Updated 9 months ago
- a model of MIR and the Rust type/trait system☆323Updated this week
- Silky smooth Java-Rust interop☆200Updated this week
- Exploration of using Storage instead of Allocator to parameterize collections in Rust☆142Updated 2 years ago
- Please do not use this.☆188Updated 4 years ago
- Prototype extension of the Rust type system towards checking units-of-measure☆116Updated 5 years ago
- Gotchas and warts in Rust Lang☆78Updated 2 years ago
- ☆260Updated last year
- An interface for writing a RustTypeChecker.☆43Updated 2 years ago
- Zero-overhead type-safe builder pattern `derive` macro for your Rust structs☆221Updated 2 years ago
- Small, fast, synchronization primitives☆254Updated last year