garritfra/qbe-rs

QBE IR in natural Rust data structures

anton-trunov/coq-lecture-notes

Coq Lecture Notes (WIP)

JBakouny/Scallina

A Coq-based synthesis of Scala programs which are correct-by-construction

joshuabrandes/flux-quantization

Running FLUX.1 as small al possible

jaseemabid/inc

An incremental approach to compiler construction

foreverbell/verified

Coq formalizations and proofs of (data) structures and algorithms.

formal-land/rocq-of-solidity

Formal verification for Solidity smart contracts with the theorem prover Rocq. Providing higher…

gibbon-compiler/gibbon

A compiler for functional programs on serialized data