tom-wr/FMP
Formal Methods and Programming
Public GitHub Catalog
Discovered Sep 29, 2026
tom-wr / FMP2
FMP
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#14211253GitHub System ID
tom-wrOrganization / User
PublicVisibility
ActiveCatalog Status
More from tom-wr
tom-wr/pyroshapes
A physics puzzle game built using ActionScript and Box2D AS3
tom-wr/amqp_game
A realtime MMOG built using RabbitMQ, Node.js and Socket.io
tom-wr/simple_chat
Simple chat application using AMQP and Node.js