Beast code in Giters

Tomasz Kantecki's starred repositories

fizz

C++14 implementation of the TLS-1.3 standard

Language:C++NOASSERTION112700

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 of the correctness and security of the library.

Language:CoqApache-2.02700

wycheproof

Project Wycheproof tests crypto libraries against known attacks.

Language:JavaApache-2.0273400

ACVP

Industry Working Group on Automated Cryptographic Algorithm Validation

Language:HTML15300

goresctrl

Golang library for managing resctrl filesystem

Language:GoApache-2.04300

CastXML

C-family Abstract Syntax Tree XML Output

Language:C++Apache-2.046500

gccxml

Language:CNOASSERTION14700

crypto-api-toolkit

Language:C++NOASSERTION3600

crypto-reference-stack

Extended NGINX* working with Asynchronous Mode OpenSSL*

Language:ShellApache-2.0900

optimization-manual

Contains the source code examples described in the "Intel® 64 and IA-32 Architectures Optimization Reference Manual"

Language:Assembly0BSD75900

cadvisor

Analyzes resource usage and performance characteristics of running containers.

Language:GoNOASSERTION1673500

rust-fil-proofs

Proofs for Filecoin in Rust

Language:RustNOASSERTION48800

GmSSL

支持国密SM2/SM3/SM4/SM9/SSL的密码工具箱

Language:CApache-2.0497800

pin-based-cec

Pin-Based Constant Execution Checker (Pin-based CEC)

Language:C++BSD-3-Clause1400

codespell

check code for common misspellings

Language:PythonGPL-2.0182400

QAT_Engine

Intel QuickAssist Technology( QAT) OpenSSL Engine (an OpenSSL Plug-In Engine) which provides cryptographic acceleration for both hardware and optimized software using Intel QuickAssist Technology enabled Intel platforms. https://developer.intel.com/quickassist

Language:CBSD-3-Clause39600

WinRing0

Language:CGPL-3.022100

SortingNetworks

Fastest CPU SIMD (SSE4) sorting networks for small integer arrays (2-6 elements), also optimal amd64 assembly and notes on getting compilers to generate optimal sorting networks.

Language:AssemblyMIT4200

openssl

TLS/SSL and crypto library

Language:CApache-2.02509800

ipp-crypto

Language:CApache-2.031600

pmu-tools

Intel PMU profiling tools

Language:PythonGPL-2.0197000

AES-GCM-SIV

AES-GCM-SIV implementations (128 and 256 bit)

Language:C11100

libhugetlbfs

Language:C21500

sha256-simd

Accelerate SHA256 computations in pure Go using AVX512, SHA Extensions for x86 and ARM64 for ARM. On AVX512 it provides an up to 8x improvement (over 3 GB/s per core). SHA Extensions give a performance boost of close to 4x over native.

Language:GoApache-2.095900

CommsPowerManagement

Language:PythonNOASSERTION7600

stress-ng

This is the stress-ng upstream project git repository. stress-ng will stress test a computer system in various selectable ways. It was designed to exercise various physical subsystems of a computer as well as the various operating system kernel interfaces.

Language:CGPL-2.0159400

tkanteck