Explore projects

Configurations for building and running the DataSov framework inside Docker containers.

Native core components for the DataSov framework.

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.

Build files to cross-compile DataSov for ARM platforms.

Makefiles to use OP-TEE on various platforms.

Safe Orchestration with Kubernetes

The repository that drives VSCode Extension of the Week (EotW).

Manifests to use OP-TEE on various platforms.

ProVerif formal models for the (modified) EKEP attestation protocol. Forked from https://github.com/google/ekep-analysis/.