adolfont/KEMS2
Second version of KEMS
A package for representing logical systems in Java
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Second version of KEMS
Datasets about CAPES Qualis (Rank of Academic Journals)
Coding Dojos at UTFPR
Some tools for running Logic Dojos