ISANobody/SILL-Idris
An Implementaiton of substructrual session types in Idris
Public GitHub Catalog
Discovered Oct 10, 2026
ISANobody / Idris-dev
A Dependently Typed Functional Programming Language
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.
#36836932GitHub 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.