I'm interested in formal verification and am working on the @stateright model checker for verifying the correctness of distributed systems.
Stars
3
stars
written in JavaScript
Clear filter
An implementation of Org mode without the dependency of Emacs - built for mobile and desktop browsers
"Building Distributed Systems with Stateright"