Managed Projects

Muen Separation Kernel

  Analyzed 7 months 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]

103K lines of code

2 current contributors

7 months since last commit

2 users on Open Hub

Activity Not Available
0.0
 
I Use This

Alog

  Analyzed about 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

1 current contributors

11 months since last commit

2 users on Open Hub

Activity Not Available
0.0
 
I Use This

Trusted Key Manager (TKM)

  Analyzed 7 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

1 current contributors

12 months since last commit

1 users on Open Hub

Activity Not Available
0.0
 
I Use This

CUDA/Ada

  Analyzed 3 days 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

over 3 years since last commit

1 users on Open Hub

Inactive
0.0
 
I Use This

ADHCP

  Analyzed about 18 hours 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

8 months since last commit

1 users on Open Hub

Very Low Activity
0.0
 
I Use This

PCSC/Ada

  Analyzed 3 days 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

11 months since last commit

1 users on Open Hub

Very Low Activity
0.0
 
I Use This

XFRM/Ada

  Analyzed about 18 hours ago

Ada binding to the Linux Kernel XFRM subsystem.

1.27K lines of code

0 current contributors

about 4 years since last commit

0 users on Open Hub

Inactive
0.0
 
I Use This

X509/Ada

  Analyzed about 21 hours ago

Ada PKIX X.509 Library.

34.7K lines of code

0 current contributors

over 2 years since last commit

0 users on Open Hub

Inactive
0.0
 
I Use This

Paillier/ZKP

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

almost 5 years since last commit

0 users on Open Hub

Activity Not Available
0.0
 
I Use This

Anet

  Analyzed about 2 months 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.99K lines of code

3 current contributors

8 months since last commit

0 users on Open Hub

Activity Not Available
0.0
 
I Use This