Odomontois/BinaryNat
Natural numbers in binary representaation for type-level calculations in scala
Public repository discovered through GitHub real-time crawl.
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Natural numbers in binary representaation for type-level calculations in scala
Little bing wallpaper download and set utility written in haskell
Idris nooby things
Plotting Assignment 1 for Exploratory Data Analysis