zxh's repositories
cbmc
C Bounded Model Checker
Kats
Kats, a kit to analyze time series data, a lightweight, easy-to-use, generalizable, and extendable framework to perform time series analysis, from understanding the key statistics and characteristics, detecting change points and anomalies, to forecasting future trends.
orbit
A Python package for Bayesian forecasting with object-oriented design and probabilistic models under the hood.
secguide
面向开发人员梳理的代码安全指南
fusepy
Simple ctypes bindings for FUSE
steg86
Hiding messages in x86 programs using semantic duals
prometheus-config
Prometheus config for Alerta
jallib
Automatically exported from code.google.com/p/jallib
jalv2compiler
Sources, documentation and executables of the JAL V2 Compiiler
govmm
Virtual Machine Manager for Go (govmm) is a suite of packages that provide Go APIs for creating and managing virtual machines.
jtag-boundary-scanner
JTAG boundary scan debug & test tool.
dockcross
Cross compiling toolchains in Docker images
liblightnvm
The Open-Channel SSD User Space Library
openvdb
OpenVDB - Sparse volume data structure and tools
PCBpy
A Cadence Allegro PCB schematics parser and verification tool. Together with IBERTpy can configure, run, and compile Vivado IBERT eye diagrams using information from Cadence Allegro schematics.
fuzzer-test-suite
Set of tests for fuzzing engines
git-flight-rules
Flight rules for git
async-profiler
Sampling CPU and HEAP profiler for Java featuring AsyncGetCallTrace + perf_events
reloc
Designing Relocatable FPGA Partitions with Vivado Design Suite
refcard-org-mode
Org mode syntax reference card
python-altium
Altium schematic format documentation, SVG converter and TK viewer
unvme
User Space NVMe Driver
vbmc-qemu
OpenIPMI with Qemu
nvml
Active development tree for the NVM Library
engineering-blogs
A curated list of engineering blogs of startup and enterprise companies
Stacer
Linux System Optimizer and Monitoring
json.h
json parser for C and C++
qemu-pvrdma
Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignored.
streama
It's like Netflix, but self-hosted! http://dularion.github.io/streama/