Managed Projects

Muen Separation Kernel

  Analyzed about 1 month ago

Muen is a Separation Kernel implemented in the SPARK programming language. It runs on the Intel x86/64 architecture employing hardware-assisted virtualization (VT-x and VT-d) as the fundamental separation mechanism. The goal of the Muen project is the development of a trustworthy open-source ... [More] foundation for component-based high-assurance systems. [Less]

97.3K lines of code

2 current contributors

about 1 month since last commit

2 users on Open Hub

Activity Not Available
0.0
 

Alog

  Analyzed 2 months ago

Alog is a logging framework for Ada. It aims to be straight forward to use and is easily extendable. It provides different facilities and log-level support.

5.17K lines of code

2 current contributors

6 months since last commit

2 users on Open Hub

Activity Not Available
0.0
 

CUDA/Ada

  Analyzed about 1 month ago

CUDA/Ada is an Ada binding to NVIDIA's CUDA parallel computing platform and programming model.

5.51K lines of code

0 current contributors

almost 3 years since last commit

1 users on Open Hub

Activity Not Available
0.0
 

Trusted Key Manager (TKM)

  Analyzed 2 months 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.

27K lines of code

3 current contributors

3 months since last commit

1 users on Open Hub

Activity Not Available
0.0
 

PCSC/Ada

  Analyzed about 1 month ago

PCSC/Ada provides thin- and thick-bindings to PC/SC-middleware for the Ada programming language. The library allows programs written in Ada to communicate with smart cards using the SCard API.

3.88K lines of code

1 current contributors

about 2 months since last commit

1 users on Open Hub

Activity Not Available
0.0
 

ADHCP

  Analyzed about 1 month ago

ADHCP is an implementation of the DHCP protocol in Ada. Currently it provides a DHCPv4 client and relay service. DHCPv6 support is work in progress.

204K lines of code

2 current contributors

6 months since last commit

1 users on Open Hub

Activity Not Available
0.0
 

XFRM/Ada

  Analyzed 11 days ago

Ada binding to the Linux Kernel XFRM subsystem.

1.27K lines of code

0 current contributors

over 3 years since last commit

0 users on Open Hub

Inactive
0.0
 

X509/Ada

  Analyzed about 1 month ago

Ada PKIX X.509 Library.

34.7K lines of code

0 current contributors

almost 2 years since last commit

0 users on Open Hub

Activity Not Available
0.0
 

Paillier/ZKP

  Analyzed about 1 month ago

Paillier/ZKP is an Ada implementation of parts of the Paillier cryptosystem used in the context of electronic voting (e-voting). The project provides ballot encryption, zero-knowledge proof generation/verification and weighted tallying of encrypted votes.

4.16K lines of code

0 current contributors

about 4 years since last commit

0 users on Open Hub

Activity Not Available
0.0
 

Anet

  Analyzed 10 days ago

Anet is a networking library for the Ada programming language. The library provides a BSD socket implementation and support for IPv4/UDP packet creation and validation. It can be used to implement custom protocols on top of IPv4. The library also provides a binding to the Linux Packet Filter (LPF) system.

5.9K lines of code

3 current contributors

25 days since last commit

0 users on Open Hub

Low Activity
0.0