kyllercg/alumni
O Alumni é um sistema para ajudar a reencontrar os ex-alunos de instituições de ensino superior.
Public GitHub Catalog
Discovered Sep 24, 2026
kyllercg / acmgen
ACMgen is an automatic code generator for Asynchronous Communication Mechanisms.
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.
#2363222GitHub System ID
kyllercgOrganization / User
PublicVisibility
ActiveCatalog Status
More from kyllercg
kyllercg/llnets
llnets generates one-safe Petri nets for Asynchronous Communication Mechanisms.
kyllercg/ltl2buchi
ltl2buchi takes an LTL formula and generates its equivalent Buchi automata.
kyllercg/jabuti
Jabuti is a system to make the synthesis of Asynchronous Communication Mechanisms.