Franziskus Kiefer's repositories
cose-c-api
A C API for https://github.com/franziskuskiefer/cose-rust
cose-verifier-cpp
An example of how to use the cose-rust library
nss-examples
Repo with example code and documentation for NSS
arm64-docker-builder
Compiling Docker on an ARM64 (or AARCH64) machine
content-signature
Content signing for HTTP
COSE-C
Implementation of COSE in C using cn-cbor and openssl
cose-spec
CBOR version of the JOSE specifications
dind-service
A docker as a locked down service using docker-in-docker
docker-worker
Docker based worker for TaskCluster
ecec
A C implementation of HTTP Encrypted Content-Encoding for Web Push.
FStar
Verification system for effectful programs
hacl-star-docker
A docker container to build hacl-star
links
Links to stuff arising from or related to the HACS workshop.
metabase
The simplest, fastest way to get business intelligence and analytics to everyone in your company :yum:
mint
A Minimal TLS 1.3 Implementation in Go
node
Node.js JavaScript runtime :sparkles::turtle::rocket::sparkles:
nss-automation
Some automation scripts for NSS
nss-prng
Some NSS PRNG experiments
nss-taskcluster
Notifications for NSS on Taskcluster