Change the repository type filter
All
Repositories list
245 repositories
xsmp-modeler-core
PublicSMP IDE for Eclipse/VSCode- Self-service SDLC and maturity measurement
helm-spray
PublicHelm plugin for installing or upgrading sub-charts from an umbrella-chart using dependency ordersCDSP-Orchestration
Public- Public code samples and resources for the Thales CipherTrust Application Protection products of the CipherTrust Data Security Platform
scapy
Publicframa-c-lsp
PublicThis 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.sta-azure-directory-sync
Publicflume
Publicaspycot
PublicAspycot: A Spike and Python CO-Simulation Testbench for hardware monitoring IPsOpenHands
Publicdcblockmodels
Publicdhemeter
Publicphoebus
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"luna-samples
Publicgose
Publicudp-offload-engine
Publicgoreleaser-glibc-image
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
Public