formal-methods topic
Scallina
A Coq-based synthesis of Scala programs which are correct-by-construction
koika
A core language for rule-based hardware design 🦑
mSAT
A modular sat/smt solver with proof output.
tlacli
A script for running TLA+/TLC from the command line
symbolic-stack-machines
Library for building symbolically executable stack-based virtual machines
acsl-by-example
Public snapshots of "ACSL by Example"
plutus-experimental-smart-contracts
Experimental Smart Contracts In Plutus.
CoSA
CoreIR Symbolic Analyzer
gneiss
Framework for platform-independent SPARK components
SXML
Formally verified, bounded-stack XML library