sidkshatriya / meLinks
This is a space where I express my thoughts and opinions on mostly technical things
☆167Updated 4 months ago
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☆142Updated last week
- Gotchas and warts in Rust Lang☆76Updated 2 years ago
- DVCS based on a sound theory of patches☆137Updated 3 years ago
- Brief implementation of Trees that Grow in Rust☆38Updated 2 years ago
- ☆134Updated 2 years ago
- A fast, resilient, isomorphic hacker news clone in ~1k lines of rust.☆120Updated last year
- Translations of a simple C program to Rust.☆141Updated last year
- A dynamic binary tracing tool☆67Updated 3 years ago
- Build Abstract Syntax Trees and tree-walking models quickly in Rust.☆122Updated last year
- A meta-JIT library for Rust interpreters☆165Updated 2 years ago
- exhaustive testing library☆65Updated last year
- https://aphyr.com/posts/342-typing-the-technical-interview translated from Haskell to Rust☆148Updated 3 years ago
- Garbage collected smart pointers for Rust☆270Updated 3 years ago
- Rust implementation of µKanren, a featherweight relational programming language.☆115Updated 2 years ago
- a reference-counting cycle collection library in rust☆77Updated 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…☆101Updated last year
- Rust-based Unikernel☆125Updated last year
- Forth for Rust's trait system☆230Updated 5 years ago
- Stochastically generates machine code☆102Updated this week
- Prototype extension of the Rust type system towards checking units-of-measure☆115Updated 5 years ago
- Resilient LL(1) parser generator for Rust☆172Updated 2 weeks ago
- What do you call a pointer we stole the high bits off? An ointer.☆87Updated 2 years ago
- Skill-tree rendering☆160Updated last year
- c'est le marché☆40Updated 2 years ago
- Safe collections written in stable Rust, based on GhostCell and StaticRc.☆185Updated 4 years ago
- Home of the "types team", affiliated with the compiler and lang teams.☆96Updated last year
- Rust Code Reading Clubs☆140Updated 3 years ago
- An asynchronous, runtime data feedable terminal paging library for Rust☆338Updated last year
- Comparing parser APIs☆140Updated last week
- Slitter is a C- and Rust-callable slab allocator implemented primarily in Rust, with some C for performance or to avoid unstable Rust fea…☆147Updated 4 years ago