ISANobody/Idris-dev
A Dependently Typed Functional Programming Language
Public GitHub Catalog
Discovered Sep 24, 2026
ISANobody / homebrew
The missing package manager for OS X.
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.
#2228591GitHub System ID
ISANobodyOrganization / User
PublicVisibility
ActiveCatalog Status
More from ISANobody
ISANobody/SILL-Idris
An Implementaiton of substructrual session types in Idris
ISANobody/opam
OPAM is a source-based package manager for OCaml. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
ISANobody/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.