Stars
Secure, fast, and portable C90 implementation of ML-KEM / FIPS 203
This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal verification is used to locate bugs and increase assurance …
Monocle helps teams and individual to better organize daily duties and to detect anomalies in the way changes are produced and reviewed.
SSH3: faster and rich secure shell using HTTP/3, checkout our article here: https://arxiv.org/abs/2312.08396 and our Internet-Draft: https://datatracker.ietf.org/doc/draft-michel-ssh3/
A flexible distributed key-value database that is optimized for caching and other realtime workloads.
This repository provides a working, deployable, open source-based, serverless service blueprint with an AWS Lambda function and AWS CDK Python code with all the best practices and a complete CI/CD …
A minimal TLS 1.2 client implementation in a pure Bash script
a structural diff that understands syntax 🟥🟩
Test linking the next situation: two libraries depends on different versions third library
Installer that creates a declarative nix environment within a user account using home-manager, flakes, and nix-user-chroot. Designed for installing a nix environment on the Steam Deck.
Reptar, Downfall, Zenbleed, ZombieLoad, RIDL, Fallout, Foreshadow, Spectre, Meltdown vulnerability/mitigation checker for Linux & BSD
Push and pull git repos to/from an s3 bucket, encrypted using gpg.
A GitHub Action to run the markdownlint-cli2 tool for linting Markdown/CommonMark files with the markdownlint library
A tool for testing for certificate validation vulnerabilities of TLS connections made by a client device or an application.
sslscan tests SSL/TLS enabled services to discover supported cipher suites
The Finch CLI is an open source client for container development
AWS-LC is a general-purpose cryptographic library maintained by the AWS Cryptography team for AWS and their customers. It іs based on code from the Google BoringSSL project and the OpenSSL project.
runtime decrypted age secrets for nix home manager
Nix functions for filtering local git sources
validate the structure of your container images
Sccache is a ccache-like tool. It is used as a compiler wrapper and avoids compilation when possible. Sccache has the capability to utilize caching in remote storage environments, including various…
TLS-Anvil, a fully automated TLS testsuite for client and servers.
GitHub notifications on your menu bar. Available on macOS, Windows & Linux.