Change the repository type filter
All
Repositories list
244 repositories
- 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
aspycot
PublicAspycot: A Spike and Python CO-Simulation Testbench for hardware monitoring IPsdcblockmodels
Publick8s-kms-plugin
Publicluna-openssl-provider
Publiccrypto11
Publicfreyja
Publicdp-hce-sample-ios
Publicrequin-2023-experiment
PublicThis project allows the generation of files used in the experiment described in the 2024 International Conference on Human-Computer Interaction (HCII) presentation "Piloting continuous neurophysiological monitoring for adapted training of public safety officers"xsmp-modeler-core
PublicSMP IDE for Eclipse/VSCodeluna-samples
Publicgose
Publicudp-offload-engine
Publicgoreleaser-glibc-image
Publicgokube
PublicMMS-compiler
PublicA command-line tool which can be used to generate Multimedia Messaging Service (MMS) files based on a predefined set of input files: text, images, audio, video. This tool can be used in Windows or Linux (x86).- Enables users and groups provisioning between SafeNet Trusted Access and other third-party applications and directories.
liboqs
Publiccva6-softcore-contest
Publicjavacard-keymint-hal
Publicttrsdk-docs
Publicluna-kmu
PublicA tool to generate and manage cryptographic keys using a Luna HSM