Stars
Open Rails: free train simulator that supports the world's largest range of digital content.
OpenTera - Open TeleRehabilitation Server and Micro-Services
Performance benchmark framework for C++ with nanoseconds measure precision
EGo is an open-source SDK that enables you to develop your own confidential apps in the Go programming language.
In-memory encrypted Hashicorp Key Vault with Intel SGXv2 enclave technology and attestation plugin
Module-Lattice-based Key Encapsulation Mechanism Standard by NIST i.e. FIPS 203
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…
A library OS for Linux multi-process applications, with Intel SGX support
Tools, tips, tricks, and more for exploring ICS Security.
Nuitka is a Python compiler written in Python. It's fully compatible with Python 2.6, 2.7, 3.4-3.13. You feed it your Python app, it does a lot of clever things, and spits out an executable or exte…
Privacy-preserving Federated Learning with Trusted Execution Environments
This is the development repository for the OpenFHE library. The current stable version is 1.2.4 (released on March 21, 2025). The current development version is 1.3.0 (released on May 21, 2025).
The wolfSSL library is a small, fast, portable implementation of TLS/SSL for embedded devices to the cloud. wolfSSL supports up to TLS 1.3 and DTLS 1.3!
WebAssembly Micro Runtime (WAMR)
By using the symbolic verification tool called ProVerif, the confidential and authentication properties of Intel SGX local and remote attestations are analyzed.
A complete implementation of 10918-1 (JPEG) coming from jpeg.org (the ISO group) with extensions for HDR, lossless and alpha channel coding standardized as ISO/IEC 18477 (JPEG XT).
Thread pool implementation using c++11 threads
websocket and http client and server library, with TLS support and very few dependencies
Vert.x is a tool-kit for building reactive applications on the JVM