Repositories list

• solderbit-segment-shift-edition

  Public
  Learn-to-solder kit using a 7-segment display

  Shell

  •

  GNU General Public License v3.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Apr 29, 2026Apr 29, 2026

• solderbit-segment

  Public
  Learn-to-solder kit using a 7-segment display

  GNU General Public License v3.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Apr 22, 2026Apr 22, 2026

• pxt-solderbit-segment

  Public
  TypeScript

  •00 forks•00 stars•00 issues•00 pull requests•Updated Apr 21, 2026Apr 21, 2026

• codal-core

  Public
  C++

  •

  MIT License

  •4141 forks•00 stars•00 issues•00 pull requests•Updated Apr 17, 2026Apr 17, 2026

• MakeDevice-backend

  Public
  Backend service for MakeDevice

  makedevice

  makedevice

  Python

  •00 forks•22 stars•1111 issues•00 pull requests•Updated Mar 31, 2026Mar 31, 2026

• MakeDevice-firmware

  Public
  Firmware for the virtual modules (fork of jacdac-msr-modules)

  makedevice

  makedevice

  C

  •

  MIT License

  •88 forks•00 stars•00 issues•00 pull requests•Updated Mar 30, 2026Mar 30, 2026

• access-bit-doc

  Public
  Documentation for the Access:bit an accessibility addon for the Micro:bit

  Nunjucks

  •00 forks•00 stars•00 issues•00 pull requests•Updated Mar 23, 2026Mar 23, 2026

• rib-bit-doc

  Public
  Documentation for the Rib:bit research hardware platform and makecode extensions

  Nunjucks

  •00 forks•00 stars•00 issues•00 pull requests•Updated Mar 23, 2026Mar 23, 2026

• user-doc-base

  Public
  A markdown documentation template for device documentation that adheres to the Devices Lab 'official' styles and layouts

  Nunjucks

  •

  MIT License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Mar 23, 2026Mar 23, 2026

• devices-lab

  Public
  Svelte

  •00 forks•00 stars•00 issues•00 pull requests•Updated Mar 5, 2026Mar 5, 2026

• jacdac-template-kicad

  Public
  A template for creating Jacdac modules in KiCad

  Shell

  •00 forks•00 stars•00 issues•00 pull requests•Updated Feb 27, 2026Feb 27, 2026

• solderbit-gamepad

  Public
  Learn-to-solder kit for the BBC micro:bit

  pcbmicrobitsoldering

  pcbmicrobitsoldering

  Python

  •

  GNU General Public License v3.0

  •00 forks•44 stars•00 issues•00 pull requests•Updated Feb 26, 2026Feb 26, 2026

• pxt-makecode-template

  Public template
  A template repository for Makecode extensions that use the Devices Lab style

  JavaScript

  •00 forks•00 stars•11 issue•00 pull requests•Updated Feb 24, 2026Feb 24, 2026

• user-doc-template

  Public template
  A template repository for user-facing documentation of hardware

  JavaScript

  •

  MIT License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Feb 24, 2026Feb 24, 2026

• pxt-solderbit-gamepad

  Public
  MakeCode extension for solder:bit Gamepad

  makecodepxt-microbit

  makecodepxt-microbit

  TypeScript

  •00 forks•00 stars•00 issues•00 pull requests•Updated Feb 18, 2026Feb 18, 2026

• mannu-test-1

  Public
  00 forks•00 stars•00 issues•00 pull requests•Updated Dec 17, 2025Dec 17, 2025

• microbit-v2-samples

  Public
  CODAL build tools and sample programs for the micro:bit v2.x

  C++

  •

  MIT License

  •126126 forks•00 stars•00 issues•00 pull requests•Updated Nov 24, 2025Nov 24, 2025

• codal-microbit-v2

  Public
  CODAL target for the micro:bit v2.x series of devices

  C++

  •

  MIT License

  •7676 forks•00 stars•00 issues•00 pull requests•Updated Nov 16, 2025Nov 16, 2025

• GerberSockets

  Public
  Web tool to generate and verify GerberSockets

  TypeScript

  •00 forks•11 star•22 issues•00 pull requests•Updated Nov 11, 2025Nov 11, 2025

• pico-sdk

  Public
  Vanilla Raspberry Pi pico SDK

  C

  •

  BSD 3-Clause "New" or "Revised" License

  •1.2k1.2k forks•00 stars•00 issues•00 pull requests•Updated Aug 27, 2025Aug 27, 2025

• pro2-cad-workshop

  Public
  Onshape workshop for the pro² network+ summer school

  GNU General Public License v3.0

  •00 forks•11 star•00 issues•00 pull requests•Updated Jul 16, 2025Jul 16, 2025

• pro2-kicad-workshop

  Public
  KiCad workshop for the pro² network+ summer school

  pcbkicad

  pcbkicad

  GNU General Public License v3.0

  •00 forks•11 star•00 issues•00 pull requests•Updated Jul 15, 2025Jul 15, 2025

• .github

  Public
  00 forks•00 stars•00 issues•00 pull requests•Updated Jun 17, 2025Jun 17, 2025

• devices-lab-website

  Public archive
  SCSS

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jun 5, 2025Jun 5, 2025