nmosier Goto Github PK

3sat-solver

86x64

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

avr-breakout

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.

clou

clou-bugs

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

clouxx-llvm

Clou++'s fork of LLVM.

cool-z80

cores

gem5

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

how-to-write-an-llvm-register-allocator

This repository contains a tutorial for a quick start in how to write a register allocator using LLVM

linux

Linux kernel source tree

llsct

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

middfs

mobilelighting

nhmalloc

a custom tree- and linked-list-based implementation of malloc(3)

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

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.

spt

symex

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