tpsinnem/cubical
Implementation of Univalence in Cubical Sets
An exploration of generic/polytypic programming in Scala
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Implementation of Univalence in Cubical Sets
Miscellaneous Idris code
SDL bindings package for idris
A Dependently Typed Functional Programming Language