Pinned Repositories
critbit
Critbit trees in C
crlset-tools
Tools for dealing with Chrome's CRLSets
ctgrind
Checking that functions are constant time with Valgrind
curve25519-donna
Implementations of a fast Elliptic-curve Diffie-Hellman primitive
dnssec-tls-tools
DNSSEC/TLS tools
ed25519
ed25519 for Go
extract-nss-root-certs
jbig2enc
JBIG2 Encoder
pond
Pond
xmpp-client
An XMPP client with OTR support
agl's Repositories
agl/pond
Pond
agl/xmpp-client
An XMPP client with OTR support
agl/critbit
Critbit trees in C
agl/curve25519-donna
Implementations of a fast Elliptic-curve Diffie-Hellman primitive
agl/jbig2enc
JBIG2 Encoder
agl/ed25519
ed25519 for Go
agl/crlset-tools
Tools for dealing with Chrome's CRLSets
agl/gcmsiv
draft-irtf-cfrg-gcmsiv-00
agl/ACVP
Industry Working Group on Automated Cryptographic Algorithm Validation
agl/ACVP-wiki
agl/aweb
Literate programming scheme targetting C and HTML
agl/node
Node.js JavaScript runtime :sparkles::turtle::rocket::sparkles:
agl/solo
FIDO2 USB+NFC token optimized for security, extensibility, and style
agl/webauthn
Web Authentication WG: https://www.w3.org/Webauthn Editors' Draft:
agl/arthur-conan-doyle_his-last-bow
Epub source for the Standard Ebooks edition of His Last Bow, by Arthur Conan Doyle
agl/mobile-document-request-api
agl/arthur-conan-doyle_the-memoirs-of-sherlock-holmes
Epub source for the Standard Ebooks edition of The Memoirs of Sherlock Holmes, by Arthur Conan Doyle
agl/bikeshed
:bike: A preprocessor for anyone writing specifications that converts source files into actual specs.
agl/charter-drafts
Draft W3C WG and CG charters for public review
agl/conscrypt
Conscrypt is a Java Security Provider that implements parts of the Java Cryptography Extension and Java Secure Socket Extension.
agl/envoy
Cloud-native high-performance edge/middle/service proxy
agl/grpc
The C based gRPC (C++, Python, Ruby, Objective-C, PHP, C#)
agl/hstspreload.org
:lock: Chromium's HSTS preload list submission website.
agl/netty-tcnative
A fork of Apache Tomcat Native, based on finagle-native
agl/registries
A collection of registries, for use in the Web Bluetooth spec
agl/skiafy
A little SVG to Skia converter tool
agl/theorem_proving_in_lean4
Theorem Proving in Lean 4
agl/twisted
Event-driven networking engine written in Python.
agl/TypeScript-DOM-lib-generator
Tool for generating dom related TypeScript and JavaScript library files
agl/ZKProofs.github.io
ZKProofs website