tchajed / rdbLinks
Debugger written in Rust
☆24Updated 2 years ago
Alternatives and similar repositories for rdb
Users that are interested in rdb are comparing it to the libraries listed below
Sorting:
- We have Crater At Home☆35Updated 7 months ago
- experimental datalog rules for a next gen polonius☆19Updated 2 years ago
- A different approach to an E-graph library☆25Updated 3 weeks ago
- Experimental type level programming in Rust☆37Updated 3 years ago
- Scope Graph Implementation in Rust☆27Updated 7 months ago
- Rust LLVM bindings☆31Updated 2 years ago
- Easy SMT solver interaction☆35Updated 3 months ago
- Transport-polymorphic, asynchronous session types for Rust☆63Updated 2 years ago
- ☆12Updated last month
- Talk to be given at PLMW 2022☆19Updated 3 years ago
- Lift enum variants to the type-level.☆33Updated 4 years ago
- Debugging WebAssembly? Put some Whamm! on it.☆31Updated this week
- DWARF packaging utility, written in Rust, supporting GNU extension and DWARF 5 package formats.☆50Updated 3 months ago
- Propositional logic with types in Rust☆62Updated last year
- Program analysis playground for a simple, imperative language☆36Updated 3 years ago
- Sruth Lùbach: A toy optimization engine☆23Updated 4 years ago
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆26Updated last year
- An experimental optimizing compiler for Bril☆70Updated 2 weeks ago
- A dependent type system built entirely in Rust's trait system (WIP).☆25Updated 6 years ago
- A toy incremental computation framework☆15Updated 4 years ago
- Low-level manipulations of IEEE754 floating-point numbers.☆28Updated 2 years ago
- Target "triple" support☆54Updated 4 months ago
- New register allocator designed as a successor to regalloc2☆38Updated last week
- Using Type-Level Programming in Rust to Make Safer Hardware Abstractions☆53Updated 3 years ago
- JIT codegen backend with SSA IR based on B3 from WebKit☆62Updated last year
- An implementation of strace in Rust, and a library interface☆22Updated 7 years ago
- A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.☆66Updated last year
- ☆58Updated 9 months ago
- Modular register allocator algorithms☆106Updated 2 years ago
- RustyLR is a parser generator that converts context-free grammars into IELR(1)/LALR(1) tables with deterministic LR and GLR parsing strat…☆19Updated this week