rispoli/budget-visualization
Visualize expenses against income by month and category.
Public GitHub Catalog
Discovered Sep 26, 2026
rispoli / macl2spass
A translator from policies written in modal access control logic (M-ACL) into first-order formulae expressed in DFG syntax. The resulting output can be directly used to reason about access control with the SPASS theorem prover.
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.
#6506359GitHub System ID
rispoliOrganization / User
PublicVisibility
ActiveCatalog Status
More from rispoli
rispoli/smart-access
A platform for the development of secure applications in the context of cloud computing access control.
rispoli/misc-scripts
Little scripts collected or written through the years.
rispoli/dotfiles
Configuration files.