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. Own-Solutions-of-AOC Own-Solutions-of-AOC Public

   Here I post my own solutions of the Advent of Code events starting from 2021

   Java 1

3. 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

4. Open-Gamma Open-Gamma Public

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

   Java

5. Logarithmic-Trigonometry Logarithmic-Trigonometry Public

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

   C

6. Bitfield Bitfield Public

   Create and interact with immutable vectors of single bits.

   Java