namore/linux-ports
Working release of my actualization of Fedora 10 and CentOS 6.5 ports on FreeBSD.
Public GitHub Catalog
Discovered Sep 27, 2026
namore / Idris-dev
A Dependently Typed Functional Programming Language
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.
#10365617GitHub System ID
namoreOrganization / User
PublicVisibility
ActiveCatalog Status
More from namore
namore/ports
Developer FreeBSD Haskell "overlay" for the mighty FreeBSD Ports Collection. Use with caution, slippery when wet, etc.
namore/dirwatchtray
Gets you a tray icon for new mail when using maildir syncers such as offlineimap
namore/pkg
NextGeneration package management tools for FreeBSD