Crypto library
-
Updated
Dec 9, 2025 - C
#
high-assurance
Here are 3 public repositories matching this topic...
A high-assurance identifier and redirect service with formally verified core logic.
infrastructure haskell encryption spark redirection ffi self-hosted url-shortener embedded-systems agpl shortener ada redo link-shortener formal-verification identifier spark-ada short-url high-assurance
-
Updated
Feb 6, 2026 - Haskell
t81lib – Balanced-ternary quantization and arithmetic core for AI and quant workloads in modern C++ and Python.
performance ai arbitrary-precision balanced-ternary quant low-level quantization ternary cpp20 big-integer high-assurance ternary-computing ternary-logic ternary-arithmetic no-undefined-behavior
-
Updated
Feb 8, 2026 - C++
Improve this page
Add a description, image, and links to the high-assurance topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the high-assurance topic, visit your repo's landing page and select "manage topics."