Pinned Repositories
86x64
Convert 32-bit x86 programs to 64-bit x86-64 on macOS.
clou
clouxx-llvm
Clou++'s fork of LLVM.
parallel-aks
Parallelized implementation of the AKS primality test targeting the GPU
rop-tools
A pair of return-oriented programming utilities: a gadget finder and ROP compiler.
serberus
symex
A symbolic execution engine for x86-32 that allows starting execution from a concrete execution's core dump.
trace-memcheck
Dynamic binary analysis tool for detecting various memory bugs.
zc
C compiler for (e)Z80.
zemu
A Z-machine emulator for TI-84+ CE calculators.
nmosier's Repositories
nmosier/86x64
Convert 32-bit x86 programs to 64-bit x86-64 on macOS.
nmosier/clou
nmosier/symex
A symbolic execution engine for x86-32 that allows starting execution from a concrete execution's core dump.
nmosier/zemu
A Z-machine emulator for TI-84+ CE calculators.
nmosier/trace-memcheck
Dynamic binary analysis tool for detecting various memory bugs.
nmosier/parallel-aks
Parallelized implementation of the AKS primality test targeting the GPU
nmosier/serberus
nmosier/clouxx-llvm
Clou++'s fork of LLVM.
nmosier/cores
nmosier/middfs
nmosier/clou-bugs
nmosier/zc
C compiler for (e)Z80.
nmosier/capstone-z80
Capstone disassembly/disassembler framework: Core (Arm, Arm64, BPF, EVM, M68K, M680X, MOS65xx, Mips, PPC, RISCV, Sparc, SystemZ, TMS320C64x, Web Assembly, X86, X86_64, XCore) + bindings.
nmosier/clouxx-FaCT
A fork of the FaCT compiler that generates secrecy labels and conforms to the Clou++ Programming Contract.
nmosier/clouxx-libsodum
Libsodium with annotations for Clou 2
nmosier/gem5
The official repository for the gem5 computer-system architecture simulator.
nmosier/linux
Linux kernel source tree
nmosier/llsct-llvm
The in-tree portion of Serberus' implementation (LLSCT)
nmosier/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
nmosier/llvm-test-suite
nmosier/llvm-tutorial
nmosier/ninja
a small build system with a focus on speed
nmosier/nmosier.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
nmosier/ocelot
A synthesis-enabled solver for relational logic
nmosier/opentitan
OpenTitan: Open source silicon root of trust
nmosier/rustc-perf
Website for graphing performance of rustc
nmosier/spt
nmosier/tpt-llvm
nmosier/z3
The Z3 Theorem Prover
nmosier/z3-fix