Results 2 repositories owned by Tannr

symbolic-stack-machines

70
Stars
8
Forks
Watchers

Library for building symbolically executable stack-based virtual machines

formal-methods-curriculum

119
Stars
9
Forks
Watchers

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