Pinned Loading

1. aes-ctr aes-ctr Public

   AES-CTR implementation using AES-NI intrinsics and SIMD operations

   C++ 7

2. real-analysis real-analysis Public

   Lean4 formalization of Real Analysis

   Lean 1

3. ltx ltx Public

   TypeScript 3

4. rex rex Public

   Zero dependency, lightweight regex engine written in Go.

   Go 1

5. HashLibCpp HashLibCpp Public

   This repository aims to provide an easy-to-use implementation of the Secure Hash Standard as specified in FIPS 180-4

   C++ 1