Managed Projects

Showing page 1 of 2

Alog

  Analyzed 3 days 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.15K lines of code

2 current contributors

7 months since last commit

2 users on Open Hub

Very Low Activity
0
 

PCSC/Ada

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

9 months since last commit

1 users on Open Hub

Very Low Activity
0
 

ADHCP

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

9.65K lines of code

1 current contributors

6 months since last commit

1 users on Open Hub

Very Low Activity
0
 

CUDA/Ada

  Analyzed about 8 hours 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 1 year since last commit

1 users on Open Hub

Very Low Activity
0
 

Muen Separation Kernel

  Analyzed about 2 hours 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 foundation for component-based high-assuranc... [More]

87.1K lines of code

3 current contributors

3 days since last commit

1 users on Open Hub

Very High Activity
0
 

Trusted Key Manager (TKM)

  Analyzed about 23 hours 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.

26.9K lines of code

2 current contributors

18 days since last commit

1 users on Open Hub

Low Activity
0
 

Spawn Manager

  Analyzed about 3 hours ago

The Ada spawn manager implements the concept outlined in the GNAT GPL package System.OS_Lib. It is used to solve the problem of spawning processes at arbitrary times from multitasking Ada programs.

1.53K lines of code

0 current contributors

Over 2 years since last commit

0 users on Open Hub

Inactive
0
 

Paillier/ZKP

  Analyzed 16 minutes 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 3 years since last commit

0 users on Open Hub

Inactive
0
 

XFRM/Ada

  Analyzed 3 days ago

Ada binding to the Linux Kernel XFRM subsystem.

1.27K lines of code

0 current contributors

About 2 years since last commit

0 users on Open Hub

Inactive
0
 

X509/Ada

  Analyzed 36 minutes ago

Ada PKIX X.509 Library.

34.7K lines of code

1 current contributors

8 months since last commit

0 users on Open Hub

Very Low Activity
0