Max's repositories
verification-manifest
Manifests for the collection of verification repositories
apollo-platform
Collections of Apollo Platform Software
cells-of-Android-1
Clone of https://github.com/jianglin05290712/cells-of-Android
confuzzer
Concolic Execution Fuzzer
Data-Mining-Project-CS244
ADFA-LD Dataset
dronity
Dronity, the Trinity syscall fuzzer ported to Android
genode
Genode OS Framework
imusim
IMUSim - see http://www.imusim.org/
lxd
Daemon based on liblxc offering a REST API to manage containers
Netgear-A6210
AC1200 High Gain WiFi USB Adapter Linux kernel driver
NUMA
This is my own experiment. No Warranties and live with any result if you use it!
ros_comm
ROS communications-related packages, including core client libraries (roscpp, rospy, roslisp) and graph introspection tools (rostopic, rosnode, rosservice, rosparam).
RT-Xen
RT-Xen Project
seL4
The seL4 microkernel
sulley
A pure-python fully automated and unattended fuzzing framework.
tomorrow-theme
Tomorrow Theme the precursor to Base16 Theme
trinity
Linux system call fuzzer
xenfuzz
Fuzzer for Xen Hypercalls
xmertl
XM/eRTL is an embedded real-time system which comprises of XtratuM and PaRTiKle.XtratuM is a hypervisor and PaRTiKle is a new open source real-time kernel for embedded systems, especially the PaRTiKle is POSIX complied and support RTLinux/GPL applications, so the PaRTiKle is named eRTL in the XM/eRTL. XM/eRTL has the characteristics from XtratuM and PaRTiKle.