vuspenskiy/idris-sublime
A Plugin to use Idris with Sublime
Public GitHub Catalog
Discovered Sep 25, 2026
vuspenskiy / scalAstar
Scala A* Implementation
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.
#2967988GitHub System ID
vuspenskiyOrganization / User
PublicVisibility
ActiveCatalog Status
More from vuspenskiy
vuspenskiy/programming-style
The Elements of Programming Style conspect
vuspenskiy/scala-edf
Scala parser for file formats EDF and EDF+
vuspenskiy/shapeless-weka
Scala adapter for Weka machine learning library using shapeless