justjoheinz/Idris-dev
A Dependently Typed Functional Programming Language
scalaxb is an XML data binding tool for Scala.
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
A Dependently Typed Functional Programming Language
Scala starter bot for Vindinium
Convert spray-json JsValues and JsonFormats to play-json.
Shapelaysson = Shapeless + Play-Json