sidkshatriya / me
This is a space where I express my thoughts and opinions on mostly technical things
☆135Updated 2 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for me
- a pragmatic point-free theorem prover assistant☆137Updated last year
- Garbage collected smart pointers for Rust☆266Updated 2 years ago
- A pure functional language for type-level programming in Rust☆323Updated 2 years ago
- `rust-reduce` will try to make the source file smaller by interpreting it as valid Rust code and intelligently removing parts of the code…☆98Updated 4 months ago
- Compile-time reference counting☆437Updated last year
- Changing function definitions at runtime in Rust☆129Updated 2 years ago
- Forth for Rust's trait system☆226Updated 4 years ago
- Prototype extension of the Rust type system towards checking units-of-measure☆108Updated 4 years ago
- Safe collections written in stable Rust, based on GhostCell and StaticRc.☆180Updated 3 years ago
- Rust Code Reading Clubs☆142Updated 3 years ago
- Gotchas and warts in Rust Lang☆71Updated last year
- A meta-JIT library for Rust interpreters☆159Updated last year
- Home of the "types team", affiliated with the compiler and lang teams.☆95Updated last year
- An ergonomic tracing garbage collector that supports mark 'n sweep garbage collection☆252Updated 2 years ago
- https://aphyr.com/posts/342-typing-the-technical-interview translated from Haskell to Rust☆143Updated 2 years ago
- A HashMap variant that spreads resize load across inserts☆190Updated last week
- A Rust macro to determine if a type implements a logical trait expression☆247Updated 4 years ago
- dipa makes it easy to efficiently delta encode large Rust data structures.☆264Updated 2 years ago
- Rust implementation of µKanren, a featherweight relational programming language.☆111Updated last year
- Proc-macro typestate DSL for Rust☆142Updated last year
- Safe, fallible, embedded-friendly ordered set/map via a scapegoat tree. Validated against BTreeSet/BTreeMap.☆255Updated 2 years ago
- A rust crate to offer compile-time assistance for working with unsafe code.☆121Updated 3 years ago
- Exploration of using Storage instead of Allocator to parameterize collections in Rust☆137Updated last year
- A Rust proc_macro_attribute to outline conversions from generic functions☆264Updated 5 months ago
- Compile-time reflection API for developing robust procedural macros (proof of concept)☆129Updated 4 years ago
- Allocation-free data structures that make do with the memory they're given☆145Updated 2 years ago
- A fast, concurrent string interner☆140Updated 3 months ago
- REGex in Rust with EcmaScript Syntax☆176Updated last month
- Faster, more compact implementation of std::Cow☆338Updated last year
- home for proposals in and around compile-time function evaluation☆105Updated last year