nypdmax

Pinned Repositories

apollo-platform
Collections of Apollo Platform Software
Language:C++00
Autoware
Open-source software for urban autonomous driving
Language:C++0 1 00
cells-of-Android-1
Clone of https://github.com/jianglin05290712/cells-of-Android
Language:Java00
confuzzer
Concolic Execution Fuzzer
Language:TeX00
Data-Mining-Project-CS244
ADFA-LD Dataset
Language:Python00
dronity
Dronity, the Trinity syscall fuzzer ported to Android
Language:C00
emacs
My own Emacs 24 configuration.
Language:Emacs Lisp0 1 00
genode
Genode OS Framework
Language:C++00
l4v
seL4 specification and proofs
Language:Isabelle1 1 00
verification-manifest
Manifests for the collection of verification repositories
10

nypdmax's Repositories

nypdmax/l4v
seL4 specification and proofs
Language:Isabelle1 1 00
nypdmax/verification-manifest
Manifests for the collection of verification repositories
10
nypdmax/apollo-platform
Collections of Apollo Platform Software
Language:C++00
nypdmax/Autoware
Open-source software for urban autonomous driving
Language:C++0 1 00
nypdmax/cells-of-Android-1
Clone of https://github.com/jianglin05290712/cells-of-Android
Language:Java00
nypdmax/confuzzer
Concolic Execution Fuzzer
Language:TeX00
nypdmax/Data-Mining-Project-CS244
ADFA-LD Dataset
Language:Python00
nypdmax/dronity
Dronity, the Trinity syscall fuzzer ported to Android
Language:C00
nypdmax/emacs
My own Emacs 24 configuration.
Language:Emacs Lisp0 1 00
nypdmax/genode
Genode OS Framework
Language:C++00
nypdmax/imusim
IMUSim - see http://www.imusim.org/
Language:Python
nypdmax/lxd
Daemon based on liblxc offering a REST API to manage containers
Language:Go
nypdmax/Netgear-A6210
AC1200 High Gain WiFi USB Adapter Linux kernel driver
Language:C
nypdmax/NUMA
This is my own experiment. No Warranties and live with any result if you use it!
Language:C
nypdmax/ros_comm
ROS communications-related packages, including core client libraries (roscpp, rospy, roslisp) and graph introspection tools (rostopic, rosnode, rosservice, rosparam).
Language:C++
nypdmax/rosdistro
This repo maintains a lists of repositories for each ROS distribution
Language:Python1 0
nypdmax/RT-Xen
RT-Xen Project
nypdmax/seL4
The seL4 microkernel
nypdmax/sulley
A pure-python fully automated and unattended fuzzing framework.
Language:Python
nypdmax/tomorrow-theme
Tomorrow Theme the precursor to Base16 Theme
Language:CSS1 0
nypdmax/trinity
Linux system call fuzzer
Language:C
nypdmax/xenfuzz
Fuzzer for Xen Hypercalls
Language:C
nypdmax/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.
Language:C