Maybe, but what dependently typed language has the stability, documentation, framework and overall development ergonomics that would let you create something li

Maybe, but what dependently typed language has the stability, documentation, framework and overall development ergonomics that would let you create something like Github with the resources and the time they did?