Reto Buerki

I Use This

Licenses: lgpl

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]

207K lines of code

3 current contributors

10 days since last commit

2 users on Open Hub

Moderate Activity

I Use This

Licenses: gpl3

Tags ada bare_metal components high_assurance hypervisor intel iommu kernel mils policy rts security 8 more...

CUDA/Ada

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

3 months since last commit

1 users on Open Hub

Very Low Activity

I Use This

Licenses: gpl3_or_l...

Tags ada ada2005 binding cuda gpu gpucomputing

ADHCP

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

221K lines of code

1 current contributors

over 4 years since last commit

1 users on Open Hub

Inactive

I Use This

Mostly written in Perl

Licenses: gpl

Tags ada ada2005 client dhcp protocol relay

Trusted Key Manager (TKM)

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

28.6K lines of code

2 current contributors

almost 3 years since last commit

1 users on Open Hub

Inactive

1 Review

I Use This

Licenses: gpl3_or_l...

Tags ada ada2012 cryptography encryption ikev2 ipsec networking rpc security separation vpn x509

PCSC/Ada

Analyzed about 21 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.74K lines of code

1 current contributors

over 1 year since last commit

1 users on Open Hub

Very Low Activity

I Use This

Licenses: lgpl

Tags ada apdu api binding card crypto encryption pcsc scard smart smartcard

XFRM/Ada

Analyzed about 11 hours ago

Ada binding to the Linux Kernel XFRM subsystem.

1.27K lines of code

0 current contributors

almost 3 years since last commit

0 users on Open Hub

Inactive

I Use This

Licenses: GNAT_Modi...

Tags ada ipsec kernel xfrm

X509/Ada

Analyzed about 19 hours ago

Ada PKIX X.509 Library.

34.8K lines of code

1 current contributors

almost 3 years since last commit

0 users on Open Hub

Inactive

I Use This

Mostly written in C

Licenses: GNAT_Modi...

Tags ada certificates pkcs#1 pki x509

Paillier/ZKP

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

almost 5 years since last commit

0 users on Open Hub

Inactive

I Use This

Licenses: gpl3_or_l...

Tags ada cryptosystem e-voting paillier verifiable zkp

Anet

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

3 months since last commit

0 users on Open Hub

Very Low Activity

I Use This