Open Source Software & Hardware are major concerns for Thales, we want to foster collaborations between the actors of these communities through this GitHub organization.
We are involved in many Open Source foundations and our collaborators are contributing on many projects:
Please browse some of the projects available for further details.
If you are interested to contribute to one of our projects, feel free to contact us [email protected]
This repository contains both the server and client software that implement the Language Server Protocol (LSP) for C/ACSL language. The server part is a novel Frama-C plugin called "lsp". The client part is a VsCode extension.
Public code samples and resources for the Thales CipherTrust Application Protection products of the CipherTrust Data Security Platform
This project purpose is to provide resources to ease synchronization of your Azure Active Directory with Safenet Trusted Access solution.
The CipherTrust Terraform Provider allows for the incorporation of CipherTrust Cloud Key Manager functionality into a CI/CD pipeline.
A framework and set of tools to monitor and operate large scale control systems, such as the ones in the accelerator community.
