bamboo/post-rfc
Blog post previews in need of peer review
Public GitHub Catalog
Discovered Oct 23, 2026
bamboo / IdrisUnityPlayground
Experiments in Idris / Unity integration.
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.
#42836273GitHub System ID
bambooOrganization / User
PublicVisibility
ActiveCatalog Status
More from bamboo
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
bamboo/idris-cil
A Common Intermediate Language backend for Idris 1