Probabilistic separation logics for verifying higher-order probabilistic programs.

A collaborative bibliography of work related to the theory and practice of computational effects

TeXpresso: live rendering and error reporting for LaTeX

Flower: A Friendly Federated AI Framework