sidkshatriya / meLinks
This is a space where I express my thoughts and opinions on mostly technical things
☆166Updated 3 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☆141Updated last year
- Garbage collected smart pointers for Rust☆270Updated 3 years ago
- DVCS based on a sound theory of patches☆138Updated 3 years ago
- Gotchas and warts in Rust Lang☆75Updated 2 years ago
- Forth for Rust's trait system☆230Updated 5 years ago
- A meta-JIT library for Rust interpreters☆165Updated 2 years ago
- Resilient LL(1) parser generator for Rust☆171Updated 2 weeks ago
- Translations of a simple C program to Rust.☆140Updated last year
- A fast, resilient, isomorphic hacker news clone in ~1k lines of rust.☆120Updated last year
- Prototype extension of the Rust type system towards checking units-of-measure☆115Updated 5 years ago
- Build Abstract Syntax Trees and tree-walking models quickly in Rust.☆122Updated last year
- ☆138Updated 3 years ago
- exhaustive testing library☆65Updated last year
- ☆134Updated 2 years ago
- A dynamic binary tracing tool☆67Updated 3 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
- Stochastically generates machine code☆101Updated 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…☆146Updated 4 years ago
- Brief implementation of Trees that Grow in Rust☆38Updated 2 years ago
- a reference-counting cycle collection library in rust☆77Updated 2 years ago
- Ergonomic Rust bindings for instrumenting Rust apps with high performance probes using SystemTap, DTrace, etc☆221Updated 5 years ago
- Rust implementation of µKanren, a featherweight relational programming language.☆115Updated 2 years ago
- An asynchronous, runtime data feedable terminal paging library for Rust☆339Updated last year
- A stripped-down version of Git, implemented in Rust☆135Updated last year
- Changing function definitions at runtime in Rust☆132Updated 2 years ago
- A C/C++ build system/project manager written in Rust☆157Updated 4 years ago
- An ergonomic tracing garbage collector that supports mark 'n sweep garbage collection☆252Updated 2 years ago
- A fast, concurrent string interner☆152Updated last year
- An interactive Rust syntax playground☆149Updated last year
- A tool to mine crates.io and produce static websites☆136Updated 10 months ago