agl

ctgrind

Checking that functions are constant time with Valgrind

extract-nss-root-certs

certificatetransparency

Certificate Transparency stuff

dclxvi

Naehrig, Niederhagen and Schwabe's pairings code, massaged into a shared library.

nullok

Scripts that I used to write a blog post about section 7.24.1(2) of C11

transport-security-state-generate

cfrgcurve

CFRG document on elliptic curves

tls-chacha20poly1305

IETF draft for ChaCha20+Poly1305 in TLS

tls-padding

TLS padding draft

U2FReviews

Reviews of U2F devices

go-gtk

Go binding for GTK

curl

A command line tool and library for transferring data with URL syntax, supporting FTP, FTPS, HTTP, HTTPS, GOPHER, TFTP, SCP, SFTP, TELNET, DICT, LDAP, LDAPS, FILE, IMAP, SMTP, POP3, RTSP and RTMP. libcurl offers a myriad of powerful features

openssl

TLS/SSL and crypto library

technotes

Automatically exported from code.google.com/p/technotes

acme-spec

ACME Specification

DefinitelyTyped

The repository for high quality TypeScript type definitions.

FStar

Verification system for effectful programs

gatling

gatling - a high performance web server

key-transparency

A transparent and secure way to look up public keys.

libevent

A public libevent repository. The official repository is at https://github.com/libevent/libevent

librdkafka

The Apache Kafka C/C++ library

links

Links to stuff arising from or related to the HACS workshop.

Novena-RF

A 300 MHz to 3800 MHz RF module for the Novena Open Hardware Computing Platform

OpenPGP-SDK

The OpenPGP SDK project provides an open source library, written in C, which implements the OpenPGP specification.

ppp

PPP daemon and associated utilities

proofgeneral

Proof General theorem prover interface --- IN ATTIC BECAUSE: last cvs standing, see https://github.com/emacsmirror/p/issues/33

Ropenssl

OpenSSL bindings for R

rust

A safe, concurrent, practical language.

tls13-spec

TLS 1.3 Specification

VST

Verified Software Toolchain