andyarvanitis/pure14-standalone
An experimental C++14 compiler/backend for PureScript
Public GitHub Catalog
Discovered Oct 3, 2026
andyarvanitis / idris-golang
Public repository discovered through GitHub real-time crawl.
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#26823184GitHub System ID
andyarvanitisOrganization / User
PublicVisibility
ActiveCatalog Status
More from andyarvanitis
andyarvanitis/purescript-native
A native compiler backend for PureScript (via C++ or Golang)
andyarvanitis/idris-generic
Public repository.
andyarvanitis/idris-cplusplus
Experimental C++11 backend for Idris