-
Stanford University
- Stanford, CA
- https://zyedidia.github.io
Starred repositories
A fast and lightweight decoder for x86 and x86-64 and encoder for x86-64.
UQ-PAC / aslp
Forked from rems-project/asl-interpreterPartial evaluator for Arm's Architecture Specification Language (ASL)
LFI: Practical, Efficient, and Secure Software-based Sandboxing
picolibc - a C library designed for embedded 32- and 64- bit systems.
RISC-V Disassembler with support for RV32/RV64/RV128 IMAFDC
Elven relativism -- relocation and execution of aarch64 ELF relocatable objects (ET_REL)
Utility that parses stack sizes section from elf objects and displays the preallocated stack size of each function.
An operating system kernel for RISC-V and AArch64 SBCs
Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name …
ozkl / doomgeneric
Forked from maximevince/fbDOOMEasily portable doom
A simple demonstration of using D to bare-metal program an STM32F29I Discovery board
Multi-platform nightly builds of open source digital design and verification tools
nFPM is Not FPM - a simple deb, rpm, apk, ipk, and arch linux packager written in Go
A simple and flexible build tool using Lua, similar to make/mk.