MaxOw/Idris-dev
A Dependently Typed Functional Programming Language
Public GitHub Catalog
Discovered Oct 2, 2026
MaxOw / nixpkgs
Nix Packages collection
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.
#24414996GitHub System ID
MaxOwOrganization / User
PublicVisibility
ActiveCatalog Status
More from MaxOw
MaxOw/Idris-WebGL
WebGL bindings for Idris.
MaxOw/SetOperations
Polyhedral Set Operations
MaxOw/MarchingCubes
Marching cubes algorithm.