Skip to content
Change the repository type filter

All

    Repositories list

    • NeTV2 burner updater scripts
      Shell
      0000Updated May 7, 2024May 7, 2024
    • JSON command parser and control module for zappy
      Python
      0000Updated Jul 13, 2020Jul 13, 2020
    • Zappy FPGA
      C++
      1000Updated Jun 29, 2020Jun 29, 2020
    • betrusted.io main SoC design
      Coq
      Other
      241200Updated Jan 30, 2020Jan 30, 2020
    • Master repo for all things Zappy
      0000Updated Nov 1, 2019Nov 1, 2019
    • litex

      Public
      Build your hardware, easily!
      Python
      Other
      575000Updated Sep 20, 2019Sep 20, 2019
    • hv-ctl

      Public
      High Voltage Board Control Program
      Rust
      0000Updated Jan 16, 2018Jan 16, 2018
    • A Rust crate for manipulating shift registers via the GPIO pins on a Raspberry Pi
      Rust
      MIT License
      3100Updated Jun 10, 2017Jun 10, 2017
    • cupi

      Public
      Cuprum Pi is a GPIO access library for the Raspberry Pi
      Rust
      MIT License
      10000Updated Jun 10, 2017Jun 10, 2017
    • hv-ctl-ui

      Public
      HV Controller Web UI
      JavaScript
      0000Updated Jun 2, 2017Jun 2, 2017
    • Implementation of Arduino on Esplanade, with bootloader
      C++
      0000Updated May 4, 2017May 4, 2017
    • Control Panel UI for NeTV product
      JavaScript
      142300Updated Oct 4, 2016Oct 4, 2016
    • web server implementation for NeTV
      C++
      2100Updated Oct 4, 2016Oct 4, 2016
    • NuttX port to Fernvale platform
      C
      102500Updated Aug 19, 2016Aug 19, 2016
    • ugfx fork for orchard
      C
      Other
      0000Updated May 30, 2016May 30, 2016
    • A port of ChibiOS to the Orchard radio platform
      C
      GNU General Public License v3.0
      81100Updated Sep 19, 2015Sep 19, 2015
    • Website for pid.codes
      CSS
      Creative Commons Zero v1.0 Universal
      804000Updated Apr 5, 2015Apr 5, 2015
    • U-Boot branch to support the Freescale i.MX6 processor
      C
      Other
      124300Updated Oct 2, 2014Oct 2, 2014
    • Board Support Packages for Kosagi
      Shell
      2500Updated Jul 9, 2014Jul 9, 2014
    • u-boot with mods for the AQS dual-lite variant
      C
      0000Updated Jan 23, 2014Jan 23, 2014
    • linux

      Public
      Linux kernel source tree
      C
      Other
      55k000Updated Oct 8, 2013Oct 8, 2013
    • A Qt-based xtaf explorer
      C++
      0200Updated Apr 19, 2013Apr 19, 2013
    • Openembedded overlay for chumby
      C
      5800Updated Feb 21, 2013Feb 21, 2013
    • imgtool

      Public
      Legacy "imgtool" repo
      C
      0100Updated Feb 11, 2013Feb 11, 2013
    • Shell
      1000Updated Dec 27, 2012Dec 27, 2012
    • cyclone

      Public
      PHP
      0100Updated Nov 4, 2012Nov 4, 2012
    • Setup [skeleton] scripts for openembedded
      Shell
      0200Updated Oct 30, 2012Oct 30, 2012
    • makedisk

      Public
      C program to create a DOS disk image
      C
      0100Updated Oct 15, 2012Oct 15, 2012
    • The Qt GUI for the Kovan factory test
      C++
      2100Updated Sep 18, 2012Sep 18, 2012
    • A version of the FPGA that shows a test pattern on HDMI
      Coq
      1400Updated Jun 27, 2012Jun 27, 2012