USFlows

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

Run AI workflows with TypeScript & Vercel AI SDK

OriginTrail Decentralized Knowledge Graph network node

?? Graph-Based Programmable Neuro-Symbolic LM Framework - a production-first LM framework built with decade old Deep Learning best practices

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

XCrypto: a cryptographic ISE for RISC-V

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

Information about the Interchain Foundation Funding Program

Lyapunov-stable Neural Control for State and Output Feedback

DafnyBench: A Benchmark for Formal Software Verification