Stars
A VM that uses LFSR instead of a normal program counter that runs Forth
KernelGhost is a next-generation offensive security framework that combines stealthy eBPF-based rootkit capabilities with advanced hypervisor escape techniques. It enables persistent cross-VM acces…
A versatile fuzzer for detecting compiler optimization bugs across multiple architectures and compilers. Equipped with advanced code generators for comprehensive fuzzing.
Dynamic creation and update of ELF files, or: an allocator for JIT compilers
Fully Open Source FASOC generators built on top of open-source EDA tools
Cortex Command - Open Source under GNU AGPL v3
Wipe files and drives securely with random ASCII dicks
High level Lua 5.4/5.3/5.2/5.1 (including LuaJIT) and Luau bindings to Rust with async/await support
SonicBOOM: The Berkeley Out-of-Order Machine
tenstorrent / riscv-ocelot
Forked from riscv-boom/riscv-boomOcelot: The Berkeley Out-of-Order Machine With V-EXT support
Bear is a tool that generates a compilation database for clang tooling.
A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://gussmith23.github.io/glenside-web-demo/
Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturatio…
EasyCrypt: Computer-Aided Cryptographic Proofs
Spike, a RISC-V ISA Simulator
A retargetable MLIR-based machine learning compiler and runtime toolkit.
Let's write an OS which can run on RISC-V in Rust from scratch!
An interpreter for Rust's mid-level intermediate representation
An extensible framework for program autotuning