paulosalem/verum
VErifiable RUby Machines - A Finite-State Machines library for Ruby with formal verification capabilities.
Public GitHub Catalog
Discovered Sep 27, 2026
paulosalem / behaviorist_agent_architecture_component
The wrapper needed to make the Behaviorist Agent Architecture library available to FGS. Used as part of my doctoral thesis.
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.
#9108812GitHub System ID
paulosalemOrganization / User
PublicVisibility
ActiveCatalog Status
More from paulosalem
paulosalem/jQuery-Timepicker-Addon
Adds a timepicker to jQueryUI Datepicker
paulosalem/behaviorist_agent_architecture
The Behaviorist Agent Architecture's sources and executables. This is a library used as part of my doctoral thesis.
paulosalem/ALEVOS
ALgebraic Engine for Verification Of Simulations' sources and executables. Actually, it is a pi-calculus simulation library, used as part of my doctoral thesis.