Crypto library
-
Updated
Jul 22, 2026 - C
#
high-assurance
Here are 10 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
High-assurance Software Update Management System (SUMS) for UN R156 alignment, featuring formal specifications, verification artifacts, and secure software update lifecycle controls.
-
Updated
Jun 11, 2024 - Nextflow
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++
AMAGI Framework: Hardware-Enforced AI Safety Architecture (IEC 61508, EU AI Act, NIST AI RMF) + Althea CRISPR-TTP Bioengineering
embedded-systems cybersecurity crispr certification post-quantum-cryptography ai-safety immunotherapy safety-critical hardware-security iec-61508 iso-26262 trusted-computing functional-safety althea common-criteria amagi high-assurance eu-ai-act nist-ai-rmf hardware-enforced
-
Updated
Aug 14, 2026
AI Admissibility Boundary reference surface for the external admit authority model and its proof meaning.
zero-trust ai-security github-actions admission-control workflow-security high-assurance pre-execution external-decision-plane boundary-reference admit-authority external-boundary authority-boundary ai-admissibility
-
Updated
May 15, 2026
A zero-dependency, no_std Ethereum Virtual Machine built from absolute zero. No crates—just Rust, mathematics, and the Yellow Paper
rust cryptography virtual-machine ethereum blockchain first-principles rlp deterministic evm bare-metal no-std systems-programming yellow-paper u256 merkle-patricia-trie high-assurance cancun-logic-first
-
Updated
Jul 24, 2026 - Rust
WuciOS is a Daylight-governed experimental OS/substrate research project for disciplined, auditable high-assurance system construction. Current v2.4 work focuses on an Alpine substrate trial with evidence gates, strict authorization boundaries, and no production or external-validation claims.
cryptography assembly x86-64 alpine-linux syscalls elf low-level computer-architecture machine-code systems-programming substrate daylight security-research execution-model high-assurance wuci-ji
-
Updated
Aug 10, 2026 - Python
Sigil Language
rust compiler dsl latency static-analysis actor-model concurrent-programming formal-methods code-generation lock-free proofs fault-injection back-pressure zero-trust high-assurance sigil-language
-
Updated
Jul 26, 2026 - Rust
"A mathematically-verified deterministic core acting as a security filter. Fully proved (19/19 obligations) via Frama-C (Alt-Ergo/Why3), Coq, TAL+, and LTL.
computer-science formal-verification frama-c linear-temporal-logic tla-plus why3 coq-proofs security-filter high-assurance deterministic-system al-alawi-deterministic-theorem sovereign-core alalawi-deterministic-core deterministic-sovereign-core adsc-hcsp al-alawi-theorem deterministic-theorem
-
Updated
Jun 23, 2026 - Rocq Prover
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."