Xiaochuan Wang's repositories
arinc653model
A complete Event-B specification of partitioning operating systems compliant with ARINC 653 (Part 1, Version 3)
cf-release
Cloud Foundry Release
corda
Corda is a distributed ledger platform designed to record, manage and automate legal agreements between business partners. Designed by (and for) the world's largest financial institutions, it offers a unique response to the privacy and scalability challenges facing decentralised applications.
geode
Mirror of Apache Geode
GraphEngine
Microsoft Graph Engine
hypernetes
The multi-tenant Kubernetes distro
opensplice
This is the OpenSplice DDS Community Edition source repository. For build & installation instructions please see http://www.prismtech.com/dds-community/building
playground
Play with neural networks!
robosat
Semantic segmentation on aerial and satellite imagery. Extracts features such as: buildings, parking lots, roads, water
runv
Hypervisor-based Runtime for OCI
zstack-dashboard
Web UI for project ZStack http://zstack.org
zstack-utility
Agents and tools for project ZStack http://zstack.org
zstack-vyos
ZStack virtual router agent
zstack-woodpecker
The automated testing framework for project ZStack http://zstack.org