adolfont/slides
Slides
Public GitHub Catalog
Discovered Sep 24, 2026
adolfont / Logic-Dojo
Some tools for running Logic Dojos
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.
#1397561GitHub System ID
adolfontOrganization / User
PublicVisibility
ActiveCatalog Status
More from adolfont
adolfont/mygithubpage
Public repository.
adolfont/KEMS2
Second version of KEMS
adolfont/qualis
Datasets about CAPES Qualis (Rank of Academic Journals)