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
Sorting:
- Home of the "types team", affiliated with the compiler and lang teams.☆95Updated last year
- Stack safe and expressive recursion in Rust☆97Updated 4 months ago
- Seamless Higher-Kinded Types in Rust☆80Updated 2 years ago
- A meta-JIT library for Rust interpreters☆162Updated 2 years ago
- An IDE extension for debugging trait errors in Rust.☆167Updated last week
- A fast, concurrent string interner☆150Updated 8 months ago
- replacement for std::{Range,RangeInclusive}☆36Updated 2 years ago
- A pure functional language for type-level programming in Rust☆327Updated 2 years ago
- ☆98Updated 4 years ago
- Unborrowed Rust Compiler (rustc without a borrowchecker)☆107Updated last year
- Please do not use this.☆174Updated 3 years ago
- exhaustive testing library☆63Updated 9 months ago
- An ergonomic tracing garbage collector that supports mark 'n sweep garbage collection☆252Updated 2 years ago
- a model of MIR and the Rust type/trait system☆299Updated 2 months ago
- hindley-milner algorithm☆59Updated last year
- Compile-time reference counting☆445Updated last year
- Safe collections written in stable Rust, based on GhostCell and StaticRc.☆183Updated 4 years ago
- Type that deserializes only from one specific value☆231Updated 2 months ago
- Brief implementation of Trees that Grow in Rust☆39Updated 2 years ago
- Public repository for the Rust keyword generics initiative☆100Updated 9 months ago
- ☆48Updated 4 years ago
- Exploration of using Storage instead of Allocator to parameterize collections in Rust☆140Updated 2 years ago
- Propositional logic with types in Rust☆62Updated last year
- Proc-macro typestate DSL for Rust☆149Updated last year
- An experiment in an augmented error handling type for Rust☆39Updated 2 weeks ago
- A Minsky Machine in Rust's type system☆55Updated 5 years ago
- Silky smooth Java-Rust interop☆180Updated this week
- Functional lens library for Rust☆107Updated 4 years ago
- ⅋ — session types for Rust☆186Updated 5 months ago
- Macros have types!☆129Updated 2 years ago