sidkshatriya / meLinks
This is a space where I express my thoughts and opinions on mostly technical things
☆165Updated last month
Alternatives and similar repositories for me
Users that are interested in me are comparing it to the libraries listed below
Sorting:
- a pragmatic point-free theorem prover assistant☆141Updated last year
- Gotchas and warts in Rust Lang☆75Updated 2 years ago
- A fast, resilient, isomorphic hacker news clone in ~1k lines of rust.☆119Updated last year
- DVCS based on a sound theory of patches☆136Updated 3 years ago
- exhaustive testing library☆64Updated 11 months ago
- ☆134Updated 2 years ago
- A dynamic binary tracing tool☆67Updated 3 years ago
- https://aphyr.com/posts/342-typing-the-technical-interview translated from Haskell to Rust☆148Updated 2 years ago
- Garbage collected smart pointers for Rust☆269Updated 3 years ago
- A meta-JIT library for Rust interpreters☆163Updated 2 years ago
- Forth for Rust's trait system☆229Updated 5 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…☆100Updated last year
- Slitter is a C- and Rust-callable slab allocator implemented primarily in Rust, with some C for performance or to avoid unstable Rust fea…☆146Updated 3 years ago
- Translations of a simple C program to Rust.☆141Updated last year
- Changing function definitions at runtime in Rust☆132Updated 2 years ago
- Coppers is a custom test harnass for Rust that measures the energy usage of your test suite.☆184Updated 3 years ago
- An interactive Rust syntax playground☆149Updated last year
- Prototype extension of the Rust type system towards checking units-of-measure☆115Updated 5 years ago
- Safe collections written in stable Rust, based on GhostCell and StaticRc.☆183Updated 4 years ago
- Vancouver Rust Talks☆34Updated 3 months ago
- What do you call a pointer we stole the high bits off? An ointer.☆87Updated last year
- Rust implementation of µKanren, a featherweight relational programming language.☆113Updated 2 years ago
- A tool to mine crates.io and produce static websites☆133Updated 8 months ago
- Brief implementation of Trees that Grow in Rust☆39Updated 2 years ago
- A fast, concurrent string interner☆150Updated 10 months ago
- Build Abstract Syntax Trees and tree-walking models quickly in Rust.☆122Updated last year
- A stripped-down version of Git, implemented in Rust☆135Updated last year
- Skill-tree rendering☆153Updated last year
- Rust-based Unikernel☆126Updated last year
- An asynchronous, runtime data feedable terminal paging library for Rust☆335Updated last year