ISANobody/Idris-dev
A Dependently Typed Functional Programming Language
Public GitHub Catalog
Discovered Oct 7, 2026
ISANobody / SILL-Idris
An Implementaiton of substructrual session types in Idris
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.
#35964126GitHub System ID
ISANobodyOrganization / User
PublicVisibility
ActiveCatalog Status
More from ISANobody
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.
ISANobody/sill
Public repository.