SXML

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

A curated list of awesome resources related to the Ada and SPARK programming language

Gcc for termux with fortran scipy etc... Use apt for newest updates instructions in README.txt

alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, 2023, and 2024)

Formal specification and generation of verifiable binary parsers, message generators and protocol state machines

VSCode extension that is designed to help automate writing of Coq proofs.

XCrypto: a cryptographic ISE for RISC-V

General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64

Legacy code connected to the high-assurance implementation of the Ouroboros protocol family

Information about the Interchain Foundation Funding Program