Public GitHub Catalog Discovered Sep 24, 2026

pkazmierczak / NorMC

A Norm Compliance Temporal Logic Model Checker

View repository on GitHub ↗ View creator profile Browse directory

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.

#1947621GitHub System ID

pkazmierczakOrganization / User

PublicVisibility

ActiveCatalog Status

More from pkazmierczak

↗

pkazmierczak/s3_async

Execute a "aws s3 sync" on every change to upload on s3 bucket and notify to download the latest contest to all notificator. In this way you a have a perfect copy of a folder on every instances in asyncronous way without waiting the crontab execution of "aws s3 sync" and a full backup on S3

Discovered

↗

pkazmierczak/configs

¯\_(ツ)_/¯