wtakuo/Taurus

Stars
1
Language
C
Created over 13 years ago
Updated over 13 years ago

wtakuo/Taurus

wtakuo

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

A JVML code analyzer/modifier

xv6-env

Docker image for building/running xv6

SVM

Simple stack-based bytecode VM implementations used in my class

spin-env

Docker image for Spin model checker

AST2J

A simple visitor generator for Java

opfs

A set of simple utilities for manipulating xv6-riscv file system images

BOFDemo

A simple buffer overflow vulnerability demo for IA-32

Act0

A small actor-based language written in Common-Lisp

AppleScript