lain76/bookmarks-manager-extension
Bookmarks Manager adds basic bookmark functionality to Opera 15, allowing importing bookmarks exported from Opera 12.
Public GitHub Catalog
Discovered Sep 29, 2026
lain76 / nxtIDE
All you need to play with LEGO NXT robots and Python
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.
#15385528GitHub System ID
lain76Organization / User
PublicVisibility
ActiveCatalog Status
More from lain76
lain76/abdo
film
lain76/themes-for-brackets
Lightweight extension to customize the look and feel of Brackets. Themes so far includes Visual Studio, Dark Soda, Ambiance, Cobalt, Rubyblue and many more
lain76/github-flavored-markdown
GitHub's Flavor of Markdown