Pinned Loading

1. aes-ctr aes-ctr Public

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

   C++ 11

2. rex rex Public

   Zero dependency, lightweight regex engine written in Go.

   Go 1

3. real-analysis real-analysis Public

   Lean4 formalization of Real Analysis

   Lean 1

4. HashLibCpp HashLibCpp Public

   This repository aims to provide an easy-to-use implementation of the Secure Hash Standard. (currently implemented are SHA224, SHA256 and SHA512)

   C++ 1

5. learncaml learncaml Public

   Learn OCaml by solving coding challenges from LeetCode and Edabit

   OCaml