projedi/idris-playground
Public repository.
Public GitHub Catalog
Discovered Sep 30, 2026
projedi / OpenCTM
OpenCTM is a file format, a software library and a tool set for compression of 3D triangle meshes. The geometry is compressed to a fraction of comparable file formats (3DS, STL, COLLADA...), and the format is accessible through a simple, portable API
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.
#17281718GitHub System ID
projediOrganization / User
PublicVisibility
ActiveCatalog Status
More from projedi
projedi/haskell-mvm
An exercise in implementing JIT. Based on https://code.google.com/p/mathvm/
projedi/zathura
a document viewer
projedi/girara
user interface library