ISANobody/Idris-dev
A Dependently Typed Functional Programming Language
Public GitHub Catalog
Discovered Oct 5, 2026
ISANobody / sill
Public repository discovered through GitHub real-time crawl.
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.
#28931109GitHub 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.