Alexa VanHattum's repositories
cs2110-labs-public
Programming labs for CS 2110, Summer 2022
llvm-loop-perforation
An LLVM pass that mangles your loops, on purpose!
icse22ae-kani
Kani Rust Model Checker artifact for ICSE 2022 Artifact Evaluation
asplos24-ae-crocus
Artifact for our ASPLOS 2024 paper, Lightweight, Modular Verification for WebAssembly-to-Native Instruction Selection (Crocus)
parallel_fsm_rv
Exploring Data Parallel Finite State Machines for Runtime Verification
Language:HTML000
bril
an educational compiler intermediate representation
Language:JavaScriptMIT000
cs6120
advanced compilers
Language:HTMLMIT000
dfg-coverings
Data flow graph coverings
ece4750-tut4-verilog
ECE 4750 Tutorial 4: Verilog Hardware Description Language
firecracker
Secure and fast microVMs for serverless computing.
Apache-2.0000
Language:HTML000
llvm-pass-skeleton
example LLVM pass
Language:CMakeMIT000
000
opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
Language:ShellCC0-1.0000
Language:RustApache-2.0000
vm-superio
Emulation for legacy devices
Language:RustApache-2.0000