vuspenskiy/idris-sublime
A Plugin to use Idris with Sublime
Scala parser for file formats EDF and EDF+
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
A Plugin to use Idris with Sublime
The Elements of Programming Style conspect
Scala adapter for Weka machine learning library using shapeless
Scala A* Implementation