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:
- A fast, concurrent string interner☆152Updated last year
- Seamless Higher-Kinded Types in Rust☆84Updated 2 years ago
- Stack safe and expressive recursion in Rust☆103Updated 3 months ago
- exhaustive testing library☆65Updated last year
- Home of the "types team", affiliated with the compiler and lang teams.☆96Updated last year
- PEG trace visualizer☆89Updated 8 months ago
- A pure functional language for type-level programming in Rust☆336Updated 2 years ago
- Please do not use this.☆185Updated 4 years ago
- Stochastically generates machine code☆101Updated last week
- Safe collections written in stable Rust, based on GhostCell and StaticRc.☆185Updated 4 years ago
- Type-level named values with partial dependent type support in Rust☆57Updated 3 years ago
- Proc-macro typestate DSL for Rust☆151Updated 2 years ago
- ☆104Updated 4 years ago
- Silky smooth Java-Rust interop☆193Updated this week
- A Minsky Machine in Rust's type system☆56Updated 5 years ago
- This is a space where I express my thoughts and opinions on mostly technical things☆167Updated 3 months ago
- Unborrowed Rust Compiler (rustc without a borrowchecker)☆111Updated last year
- Easy-to-use optional function arguments for Rust☆47Updated last year
- a model of MIR and the Rust type/trait system☆316Updated last month
- An ergonomic tracing garbage collector that supports mark 'n sweep garbage collection☆252Updated 2 years ago
- An experimental implementation of Avatar Logic with a Prolog-like syntax☆68Updated last year
- An unofficial, experimental place for documenting and gathering feedback on the design problems around Rust's orphan rules☆215Updated 6 years ago
- Choose Rust types at compile-time via constants☆68Updated last year
- Small, fast, synchronization primitives☆250Updated last year
- A rust crate to offer compile-time assistance for working with unsafe code.☆122Updated 3 years ago
- Simple concurrent progress bars.☆104Updated last year
- Public repository for the Rust keyword generics initiative☆106Updated last year
- A meta-JIT library for Rust interpreters☆165Updated 2 years ago
- ☆259Updated 10 months ago
- lens implemented in rust☆117Updated 2 years ago