{
  "canonical_url": "https://crates.flyology.org/community/",
  "catalog": {
    "name": "community",
    "repository_url": "https://github.com/alire-project/alire-index",
    "revision": "cd12c6aa35b7d6483841517305d57ba167ec78d0"
  },
  "generated_at": "2026-08-23T04:55:42Z",
  "index": {
    "version": "1.4.0"
  },
  "package": {
    "catalog": "community",
    "description": "Examples and tutorials for Ada on the BBC micro:bit",
    "development_only": false,
    "latest_version": "0.1.0",
    "name": "microbit_examples",
    "selected_version": "0.1.0",
    "versions": [
      {
        "dependants": [],
        "dependencies": [
          {
            "catalog": "community",
            "condition": null,
            "name": "microbit_bsp",
            "package": "microbit_bsp",
            "provided_version": "0.1.0",
            "requirement": "~0.1.0",
            "resolved": true,
            "version": "0.1.0"
          }
        ],
        "development": false,
        "external": false,
        "manifest": {
          "auto-gpr-with": false,
          "depends-on": [
            {
              "microbit_bsp": "~0.1.0"
            }
          ],
          "description": "Examples and tutorials for Ada on the BBC micro:bit",
          "gpr-set-externals": {
            "CORTEXM_BUILD_MODE": "debug",
            "CORTEXM_CONTRACTS": "enabled",
            "CORTEXM_RUNTIME_CHECKS": "enabled",
            "MICROBIT_BSP_BUILD_MODE": "debug",
            "MICROBIT_BSP_CONTRACTS": "enabled",
            "MICROBIT_BSP_RUNTIME_CHECKS": "enabled",
            "NRF5X_BUILD_MODE": "debug",
            "NRF5X_CONTRACTS": "enabled",
            "NRF5X_RUNTIME_CHECKS": "enabled"
          },
          "licenses": "BSD-3-Clause",
          "long-description": "# microbit_examples\n\nThis crate is a snapshot of the micro:bit examples in [Ada Drivers\nLibrary](https://github.com/AdaCore/Ada_Drivers_Library/tree/master/arch/ARM/cortex_m).\n\nAny bug report, issue, contribution must be adressed to the [Ada Drivers\nLibrary](https://github.com/AdaCore/Ada_Drivers_Library/) repo.\n\nThe Micro:Bit is a very small ARM Cortex-M0 board designed by the BBC for\ncomputer education. It's fitted with a [Nordic\nnRF51](https://www.nordicsemi.com/eng/Products/Bluetooth-low-energy/nRF51822)\nBluetooth enabled microcontroller and an embedded programmer. You can get it\nat:\n\n - [Pimoroni (UK/EU)](https://shop.pimoroni.com/collections/micro-bit/products/microbit)\n - [Kitronik (UK/EU)](https://www.kitronik.co.uk/5613-bbc-microbit-board-only.html)\n - [ThePiHut (UK/EU)](https://thepihut.com/collections/microbit/products/micro-bit)\n - [AdaFruit (US)](https://www.adafruit.com/products/3530)\n\n# How to setup the Ada development environment for the Micro:Bit\n\nGNAT Community now comes with micro:bit and pyOCD support built-in. So you only\nneed to download the ARM ELF and the native package from\n[here](https://www.adacore.com/download)\n\n## pyOCD programmer\n\nThe Micro:Bit comes with an embedded programming/debugging probe implementing\nthe\n[CMSIS-DAP](https://docs.mbed.com/docs/mbed-os-handbook/en/latest/advanced/DAP/)\nprotocol defined by ARM.\n\nTo use it on Linux, you might need privileges to access the USB ports without\nwhich the flash program will say \"No connected boards\".\n\nOn Ubuntu, you can do it by creating (as administrator) the file\n/etc/udev/rules.d/mbed.rules and add the line:\n```\nSUBSYSTEM==\"usb\", ATTR{idVendor}==\"0d28\", ATTR{idProduct}==\"0204\", MODE=\"0666\"\n```\nthen restarting the service by doing\n\n```shell\n$ sudo udevadm trigger\n```\n\n## Open one of example projects and build it\n\nStart GNAT Programming studio (GPS) with Alire and one micro:bit example\nproject:\n\n - `alr edit analog_in/analog_in.gpr`\n - `alr edit follower/follower.gpr`\n - `alr edit digital_in/digital_in.gpr`\n - `alr edit accelerometer/accelerometer.gpr`\n - `alr edit buttons/buttons.gpr`\n - `alr edit BLE_beacon/BLE_beacon.gpr`\n - `alr edit digital_out/digital_out.gpr`\n - `alr edit servos/servos.gpr`\n - `alr edit neopixel/neopixel.gpr`\n - `alr edit text_scrolling/text_scrolling.gpr`\n - `alr edit analog_out/analog_out.gpr`\n - `alr edit music/music.gpr`\n\nPress F4 and then press Enter to build the project.\n\n## Program the board\n\nPlug your micro:bit board with a USB cable, and wait for the system to\nrecognize it. This can take a few seconds\n\nIn the GPS toolbar, click on the \"flash to board\" button to program the\nmicro:bit.\n\nAfter a few seconds, you should see a text scrolling on the LED matrix.\n\nThat's it, you are ready to hack the micro:bit with Ada!\n\n",
          "maintainers": [
            "chouteau@adacore.com"
          ],
          "maintainers-logins": [
            "Fabien-Chouteau"
          ],
          "name": "microbit_examples",
          "origin": {
            "commit": "a926cc69faf2cb7805f5dff508b587f2ed7fc065",
            "url": "git+https://github.com/Fabien-Chouteau/microbit_examples.git"
          },
          "project-files": [
            "analog_in/analog_in.gpr",
            "follower/follower.gpr",
            "digital_in/digital_in.gpr",
            "accelerometer/accelerometer.gpr",
            "buttons/buttons.gpr",
            "BLE_beacon/BLE_beacon.gpr",
            "digital_out/digital_out.gpr",
            "servos/servos.gpr",
            "neopixel/neopixel.gpr",
            "text_scrolling/text_scrolling.gpr",
            "analog_out/analog_out.gpr",
            "music/music.gpr"
          ],
          "tags": [
            "embedded",
            "nostd",
            "microbit",
            "nrf51"
          ],
          "version": "0.1.0",
          "website": "https://github.com/AdaCore/Ada_Drivers_Library/"
        },
        "path": "index/mi/microbit_examples/microbit_examples-0.1.0.toml",
        "version": "0.1.0"
      }
    ]
  },
  "schema_version": 4
}