kyllercg/alumni
O Alumni é um sistema para ajudar a reencontrar os ex-alunos de instituições de ensino superior.
Developer Profile
kyllercg
Discovered public repositories for kyllercg in the GitHub catalog.
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/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.