Pinned Loading

1. AthenaFoundation/athena AthenaFoundation/athena Public

   Athena is a modern, practical language for proof engineering & natural deduction.

   Standard ML 72 4

2. ser ser Public

   Symbolic EVM in Rust (WIP)

   Rust 86 4

3. athenas-consensus athenas-consensus Public

   Formal specs & proofs of consensus protocols & other distributed systems concepts. Written in the Athena language

4. formal-methods-curriculum formal-methods-curriculum Public

   Formal methods training program with an emphasis on software in the blockchain & decentralized financed (DeFi) industry

   Jupyter Notebook 166 14

5. symbolic-stack-machines symbolic-stack-machines Public

   Library for building symbolically executable stack-based virtual machines

   Rust 75 9