Odomontois/BinaryNat
Natural numbers in binary representaation for type-level calculations in scala
Public GitHub Catalog
Discovered Oct 25, 2026
Odomontois / idris_plays
Idris nooby things
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.
#43137991GitHub System ID
OdomontoisOrganization / User
PublicVisibility
ActiveCatalog Status
More from Odomontois
Odomontois/bingWallpaper
Little bing wallpaper download and set utility written in haskell
Odomontois/ExData_Plotting2
Public repository.
Odomontois/ExData_Plotting1
Plotting Assignment 1 for Exploratory Data Analysis