Actario

Verification Framework for Actor Systems on Coq
Popular Coq Projects
Popular Actor Projects
Popular Mathematics Categories

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Erlang
Ocaml
Actor
Coq