Package Repository

Browse available packages for RPCortex. Install directly to a connected device over USB — no WiFi, no REPL, no reboot required.

This page is the v1.0 catalogue
Everything below is a .pkg file: a Python module for RPCortex v1.0 "Vela",
installed over USB from this page or with pkg install on the device.

v2.0 "Vela II" has no Python in it, so a .pkg cannot run there. Its packages are
native .app objects from a separate index, and they are installed from the
shell rather than from here. See below.
No device connected

Requires Chrome 89+ or Edge 89+. Close PuTTY or any other terminal before connecting. Reading what is installed works from the shell or the login prompt; installing to a v2 device needs an admin session, because writing files does.

Showing the v2 catalogue. Connect a device to match it automatically.
Loading packages…

Install a local .pkg file

📦

Drag & drop a .pkg file here

or
v2 — or from the shell
pkg update               # refresh the list
pkg search web           # or bare, to list everything
pkg install httpd
pkg list                 # what is installed
pkg upgrade              # everything with a newer version
pkg remove httpd

The official repository is configured out of the box, so pkg update works on a device that has never been told where to look. Packages are native .app objects built for ARMv6-M, which is why one binary runs on both the RP2040 and RP2350 parts — and on RP2350 they run unprivileged, on a stack and a heap of their own, unable to reach the rest of the system.

v1 — the MicroPython line
pkg repo add https://raw.githubusercontent.com/dash1101/RPCortex-repo/main/repo/index.json
pkg update
pkg available
pkg install <name>

Build your own package

A v2 package is C compiled against the firmware ABI — about twenty lines for one that registers a working shell command. The guide walks through writing it, building it, the three ways to get it onto a device, what the sandbox means while you are developing, and publishing it here.

Package Dev Guide →

Installing package…

Transferring to device over serial.