folone/scala.github.com
The Scala Documentation website
Public GitHub Catalog
Discovered Sep 29, 2026
folone / 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.
#13981255GitHub System ID
foloneOrganization / User
PublicVisibility
ActiveCatalog Status
More from folone
folone/scala-lang
The Scala Website
folone/dotty
Research platform for new language concepts and compiler technologies for Scala.
folone/ScalaZ3
Binders and more to the Z3 SMT solver for Scala