nmosier

86x64

Convert 32-bit x86 programs to 64-bit x86-64 on macOS.

clou

rop-tools

A pair of return-oriented programming utilities: a gadget finder and ROP compiler.

symex

A symbolic execution engine for x86-32 that allows starting execution from a concrete execution's core dump.

zemu

A Z-machine emulator for TI-84+ CE calculators.

trace-memcheck

Dynamic binary analysis tool for detecting various memory bugs.

parallel-aks

Parallelized implementation of the AKS primality test targeting the GPU

serberus

clouxx-llvm

Clou++'s fork of LLVM.

cores

middfs

MobileLighting

clou-bugs

zc

C compiler for (e)Z80.

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.

clouxx-FaCT

A fork of the FaCT compiler that generates secrecy labels and conforms to the Clou++ Programming Contract.

clouxx-libsodum

Libsodium with annotations for Clou 2

gem5

The official repository for the gem5 computer-system architecture simulator.

linux

Linux kernel source tree

llsct-llvm

The in-tree portion of Serberus' implementation (LLSCT)

llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

llvm-test-suite

llvm-tutorial

ninja

a small build system with a focus on speed

nmosier.github.io

Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

ocelot

A synthesis-enabled solver for relational logic

opentitan

OpenTitan: Open source silicon root of trust

spt

z3

The Z3 Theorem Prover

z3-fix