Pinned Loading

1. Master-Thesis Master-Thesis Public

   This repository contains code that is referenced in my Master thesis. For the most part, it includes formal proofs that are checkable by proof assistants.

   Rocq Prover

2. Open-Roots Open-Roots Public

   Open-Source implementation of roots (2nd, 3rd etc.) for Java, C/C++ (double/float datatype) and x86-64 Assembly (SSE4.1/AVX2)

   C

3. Open-Gamma Open-Gamma Public

   Open-Source implementations of the Gamma function and related functions in Java and C/C++

   Java

4. Logarithmic-Trigonometry Logarithmic-Trigonometry Public

   A tiny, open-sourced arithmetic library for calculating the natural logarithm of trigonometric functions in C/C++.

   C

5. Bitfield Bitfield Public

   Create and interact with immutable vectors of single bits.

   Java