Select a tag to browse associated projects and drill deeper into the tag cloud.
Trusted Key Manager (TKM)
Analyzed 26 days ago
The Trusted Key Manager (TKM) is a minimal Trusted Computing Base which implements security-critical functions of the IKEv2 protocol. It is implemented using the Ada programming language. The TKM works in conjunction with the strongSwan IKEv2 daemon charon-tkm to provide key management services for IPsec.
Licenses:
gpl3_or_l...
Command-Line Parser Generator
C
No analysis available
A tool for generating a driver intended to call one of the procedures declared in a package specification, depending on the parameters passed to the driver.
The accepted command line arguments are derived from the formal parameters of the available procedures.
Mostly written in language not available
Licenses:
isc
Persistent Containers for Ada 2012
P
No analysis available
Efficient persistent containers for Ada 2012.
Mostly written in language not available
Licenses:
Beerware
spark2014
Analyzed 26 days ago
SPARK is a software development technology specifically designed for engineering high-reliability applications.