massimo-nocentini/ipcts
Material about "Introduction to Process Calculi and related Type Systems" PhD course
Public GitHub Catalog
Discovered Nov 3, 2026
massimo-nocentini / scratchpad
Public repository discovered through GitHub real-time crawl.
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.
#51853479GitHub System ID
massimo-nocentiniOrganization / User
PublicVisibility
ActiveCatalog Status
More from massimo-nocentini
massimo-nocentini/scientific-writing-8641
Public repository.
massimo-nocentini/tyscheme
Public repository.
massimo-nocentini/install-dependencies-scripts
This repository contains bash scripts to install required dependencies of packages I work with.