» Tag
separation-logic
1 posts«14–Sep 20, 2026
Pulse: Proof-Oriented Programming in Concurrent Separation Logic
Pulse is an embedded language in F* that offers programming and proving support with Concurrent Separation Logic.
CommitBrief — AI code reviews, right in your terminal
A provider-agnostic, local-first CLI that reviews your staged changes, a historic range, or a whole GitHub pull request. Zero telemetry, no server. Free and open source.
commitbrief.com