amutake/jssst2014-paper
Public repository.
Public GitHub Catalog
Discovered Oct 2, 2026
amutake / wercker-box-ssreflect
wercker box for ssreflect/mathcomp
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.
#23902567GitHub System ID
amutakeOrganization / User
PublicVisibility
ActiveCatalog Status
More from amutake
amutake/sraas-coq
Structured Reasoning About Actor Systems - Coq version
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/