bamboo/IdrisUnityPlayground
Experiments in Idris / Unity integration.
Public GitHub Catalog
Discovered Oct 19, 2026
bamboo / idris-cil
A Common Intermediate Language backend for Idris 1
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.
#39691151GitHub System ID
bambooOrganization / User
PublicVisibility
ActiveCatalog Status
More from bamboo
bamboo/post-rfc
Blog post previews in need of peer review
bamboo/idris-game-of-life
An implementation of Conway's Game Of Life in Idris
bamboo/language-cil
Manipulating Common Intermediate Language AST in Haskell