rispoli/budget-visualization
Visualize expenses against income by month and category.
Public GitHub Catalog
Discovered Sep 26, 2026
rispoli / seq-acl
A decidable theorem prover for the modal access control logic "ACL+". Implements an analytic labeled sequent calculus for access control logic along with an automatic generation of human-readable proofs.
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.
#6520875GitHub 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.