| dvhdr/launchpad-pro |
401 |
|
0 |
0 |
over 3 years ago |
0 |
|
18 |
bsd-3-clause |
C |
| Open source firmware for the Launchpad Pro grid controller |
| swift-nav/piksi_firmware |
106 |
|
0 |
0 |
about 5 years ago |
0 |
|
106 |
gpl-3.0 |
C |
| Firmware for the Piksi GNSS receiver. |
| avatartwo/ndss18_wycinwyc |
44 |
|
0 |
0 |
over 5 years ago |
0 |
|
0 |
|
C |
| adafruit/esp8266-micropython-vagrant |
39 |
|
0 |
0 |
over 7 years ago |
0 |
|
0 |
mit |
|
| Vagrant file to build a virtual machine that can compile the ESP8266 open SDK & MicroPython firmware. |
| jeffvogelsang/openwrt-vagrant |
24 |
|
0 |
0 |
over 12 years ago |
0 |
|
1 |
|
Ruby |
| My setup for building a custom OpenWRT firmware using Vagrant |
| tko/vagrant-wdmycloud |
10 |
|
0 |
0 |
over 9 years ago |
0 |
|
1 |
|
Shell |
| Vagrant setup for building packages for WD My Cloud firmware 4.x |
| miguelgrinberg/micropython-esp8266-vagrant |
7 |
|
0 |
0 |
about 7 years ago |
0 |
|
0 |
mit |
Shell |
| A virtual machine that simplifies building MicroPython for the ESP8266 microcontroller. |
| adafruit/atmel-samd-micropython-vagrant |
7 |
|
0 |
0 |
over 7 years ago |
0 |
|
0 |
mit |
|
| Vagrant-based virtual machine to build MicroPython for Atmel SAMD-based boards. |
| ggiamarchi/nerf-winterfell |
7 |
|
0 |
0 |
over 8 years ago |
0 |
|
0 |
|
Shell |
| NERF Firmware development environment for Winterfell |
| gilhooleyd/CBMC-Vboot |
5 |
|
0 |
0 |
almost 9 years ago |
0 |
|
0 |
|
C |
| This repo investigates Chrome's Verified Boot (Vboot) through C Bounded Model Checker (CBMC) and the use of the Software TPM library |
