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 / llnets
llnets generates one-safe Petri nets for Asynchronous Communication Mechanisms.
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.
#2363381GitHub System ID
kyllercgOrganization / User
PublicVisibility
ActiveCatalog Status
More from kyllercg
kyllercg/ltl2buchi
ltl2buchi takes an LTL formula and generates its equivalent Buchi automata.
kyllercg/acmgen
ACMgen is an automatic code generator for Asynchronous Communication Mechanisms.
kyllercg/jabuti
Jabuti is a system to make the synthesis of Asynchronous Communication Mechanisms.