sidkshatriya / meLinks
This is a space where I express my thoughts and opinions on mostly technical things
☆164Updated 8 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☆143Updated 4 months ago
- Gotchas and warts in Rust Lang☆78Updated 3 years ago
- DVCS based on a sound theory of patches☆138Updated 4 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…☆102Updated last year
- ☆143Updated 3 years ago
- https://aphyr.com/posts/342-typing-the-technical-interview translated from Haskell to Rust☆149Updated 3 years ago
- A fast, resilient, isomorphic hacker news clone in ~1k lines of rust.☆121Updated last year
- A C/C++ build system/project manager written in Rust☆157Updated 4 years ago
- Translations of a simple C program to Rust.☆140Updated 2 years ago
- Garbage collected smart pointers for Rust☆270Updated 4 years ago
- Slitter is a C- and Rust-callable slab allocator implemented primarily in Rust, with some C for performance or to avoid unstable Rust fea…☆148Updated 4 years ago
- A meta-JIT library for Rust interpreters☆164Updated 3 years ago
- Build Abstract Syntax Trees and tree-walking models quickly in Rust.☆123Updated 2 years ago
- Forth for Rust's trait system☆233Updated 5 years ago
- Brief implementation of Trees that Grow in Rust☆40Updated 3 years ago
- exhaustive testing library☆66Updated last year
- A pure functional language for type-level programming in Rust☆339Updated 3 years ago
- A dynamic binary tracing tool☆67Updated 4 years ago
- Rust Code Reading Clubs☆141Updated 4 years ago
- Rust-based Unikernel☆133Updated 2 years ago
- ☆52Updated 4 years ago
- Coppers is a custom test harnass for Rust that measures the energy usage of your test suite.☆189Updated 3 years ago
- Low-Level Academy backend code☆41Updated 5 years ago
- A rust crate to offer compile-time assistance for working with unsafe code.☆122Updated 4 years ago
- What do you call a pointer we stole the high bits off? An ointer.☆91Updated 2 months ago
- Scripting language focused on processing tabular data.☆175Updated 3 years ago
- Ergonomic Rust bindings for instrumenting Rust apps with high performance probes using SystemTap, DTrace, etc☆221Updated 6 years ago
- A simple example with Rust and Cosmopolitan Libc☆206Updated 2 years ago
- Skill-tree rendering☆166Updated 2 years ago
- Changing function definitions at runtime in Rust☆134Updated 3 years ago