ISANobody/Idris-dev
A Dependently Typed Functional Programming Language
Public GitHub Catalog
Discovered Oct 5, 2026
ISANobody / opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
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.
#28970828GitHub 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/sill
Public repository.