fedelebron/AgdaToys
Playing with Agda
Public GitHub Catalog
Discovered Sep 24, 2026
fedelebron / SimpleTelnet
A relatively simple and hackish multi-process telnet server/client in C.
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.
#1565633GitHub System ID
fedelebronOrganization / User
PublicVisibility
ActiveCatalog Status
More from fedelebron
fedelebron/fceynbot
IRC bot for #fceyn at FreeNode
fedelebron/thesis
Material for my thesis
fedelebron/AVL
Compile-time balanced AVL tree in Haskell