bamboo/IdrisUnityPlayground
Experiments in Idris / Unity integration.
Public GitHub Catalog
Discovered Sep 24, 2026
bamboo / boo-md-addins
MonoDevelop addins for Boo-based languages
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.
#715866GitHub 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