Explore projects

SGX-backed core components for the DataSov framework.

Native core components for the DataSov framework.

General buildscripts for DataSov.

Platform-independent SGX client bindings from the asylo framework.

matplotlib: plotting with Python

The most awesome Powerline theme for ZSH around!

🙃 A delightful community-driven (with 1,300+ contributors) framework for managing your zsh configuration. Includes 200+ optional plugins (rails, git, OSX, hub, capistrano, brew, ant, php, python, etc), over 140 themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.

Qt Base (Core, Gui, Widgets, Network, ...)

Build files to cross-compile DataSov for ARM platforms.