Pinned Loading

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

2. Open-Gamma Open-Gamma Public

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

   Java

3. Logarithmic-Trigonometry Logarithmic-Trigonometry Public

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

   C

4. Bitfield Bitfield Public

   Create and interact with immutable vectors of single bits.

   Java

5. CAVE-PNP/116-stefan-rass CAVE-PNP/116-stefan-rass Public

   Partial Isabelle/HOL formalization of Rass, Stefan. On the Existence of Weak One-Way Functions

   Isabelle 1