bishboria/screen-read-class
LaTeX class for creating documents with scroll-like pages. Suitable for reading on tablets, etc
Public GitHub Catalog
Discovered Sep 26, 2026
bishboria / Idris-dev
A Dependently Typed Functional Programming Language
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#7854283GitHub System ID
bishboriaOrganization / User
PublicVisibility
ActiveCatalog Status
More from bishboria
bishboria/software-foundations
Working through Software Foundations
bishboria/modern-compiler-implementation
Working through Modern Compiler Implementation in ML
bishboria/little-mler
Code from the chapters of The Little MLer