insou22 / typing-the-technical-interview-rustLinks
https://aphyr.com/posts/342-typing-the-technical-interview translated from Haskell to Rust
☆148Updated 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:
- Seamless Higher-Kinded Types in Rust☆87Updated 2 years ago
- Unborrowed Rust Compiler (rustc without a borrowchecker)☆111Updated 2 years ago
- A fast, concurrent string interner☆161Updated last year
- A meta-JIT library for Rust interpreters☆165Updated 2 years ago
- Stack safe and expressive recursion in Rust☆103Updated 5 months ago
- ☆106Updated 4 years ago
- Type-level named values with partial dependent type support in Rust☆57Updated 3 years ago
- Home of the "types team", affiliated with the compiler and lang teams.☆96Updated 2 years ago
- Please do not use this.☆187Updated 4 years ago
- A pure functional language for type-level programming in Rust☆336Updated 3 years ago
- ☆49Updated 5 years ago
- Proc-macro typestate DSL for Rust☆151Updated 2 years ago
- An experiment in an augmented error handling type for Rust☆40Updated 2 months ago
- Stochastically generates machine code☆102Updated 3 weeks ago
- exhaustive testing library☆65Updated last year
- a model of MIR and the Rust type/trait system☆319Updated last week
- A type-level implementation of Smallfuck in Rust, doubling as a Turing-completeness proof for Rust's type system.☆239Updated 8 years ago
- Brief implementation of Trees that Grow in Rust☆40Updated 3 years ago
- Choose Rust types at compile-time via constants☆68Updated last year
- Compile-time reference counting☆456Updated 6 months ago
- 🎶 Choreographic programming in Rust 🎶☆61Updated 8 months ago
- An experimental implementation of Avatar Logic with a Prolog-like syntax☆71Updated last year
- Safe collections written in stable Rust, based on GhostCell and StaticRc.☆187Updated 4 years ago
- A tool to help with minimization of Rust code☆61Updated last month
- Exploration of using Storage instead of Allocator to parameterize collections in Rust☆142Updated 2 years ago
- A Minsky Machine in Rust's type system☆58Updated 5 years ago
- Safe, fallible, embedded-friendly ordered set/map via a scapegoat tree. Validated against BTreeSet/BTreeMap.☆263Updated 3 years ago
- lens implemented in rust☆117Updated 2 years ago
- replacement for std::{Range,RangeInclusive}☆36Updated 2 years ago
- An unofficial, experimental place for documenting and gathering feedback on the design problems around Rust's orphan rules☆220Updated 6 years ago