Managed Projects

Alog

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

3 current contributors

over 2 years since last commit

2 users on Open Hub

Inactive
0.0
 
I Use This

ADHCP

  Analyzed 1 day 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.

221K lines of code

1 current contributors

9 months since last commit

1 users on Open Hub

Very Low Activity
0.0
 
I Use This

CUDA/Ada

  Analyzed 1 day ago

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

5.48K lines of code

1 current contributors

over 1 year since last commit

1 users on Open Hub

Very Low Activity
0.0
 
I Use This

Trusted Key Manager (TKM)

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

33.1K lines of code

2 current contributors

12 months since last commit

1 users on Open Hub

Very Low Activity
0.0
 
I Use This

Anet

  Analyzed 1 day 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.

6.95K lines of code

2 current contributors

4 months since last commit

0 users on Open Hub

Very Low Activity
0.0
 
I Use This

gitter-codelabs

  Analyzed 1 day ago

gitter is a git repository feed reader for Android and allows you to follow projects managed with git version control. It notifies the user about new commits and provides an easy way to show the code changes.

2.71K lines of code

0 current contributors

over 11 years since last commit

0 users on Open Hub

Inactive
0.0
 
I Use This

Paillier/ZKP

  Analyzed about 15 hours 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.19K lines of code

1 current contributors

about 6 years since last commit

0 users on Open Hub

Inactive
0.0
 
I Use This