amutake/sraas-coq
Structured Reasoning About Actor Systems - Coq version
Public GitHub Catalog
Discovered Oct 7, 2026
amutake / jssst2014-paper
Public repository discovered through GitHub real-time crawl.
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#36662819GitHub System ID
amutakeOrganization / User
PublicVisibility
ActiveCatalog Status
More from amutake
amutake/concurrent-ruby
Modern concurrency tools including agents, futures, promises, thread pools, supervisors, and more. Inspired by Erlang, Clojure, Scala, Go, Java, JavaScript, and classic concurrency patterns.
amutake/min-caml
moved from https://sourceforge.net/p/min-caml/code/
amutake/imp
A simple imperative language for learning/teaching Haskell