Skip to content

Instantly share code, notes, and snippets.

@westphallm1
westphallm1 / proc_calc.pest
Created May 17, 2019 00:19
Pest grammar for process calculus
var = {('a'..'z') ~ ('a'..'z'|'A' .. 'Z'| '0' .. '9')*}
num = {"-"? ~ ('0'..'9')+}
opr = {"+"|"*"|"-"|"/"}
chan = {('A'..'Z') ~ ('a'..'z'|'A' .. 'Z'| '0' .. '9')*}
expr = {term ~ opr ~ expr | term}
term = {var | num | "("~ expr ~")"}
bexpr = {"true" | "false" | expr ~ "<" ~ expr}
def_list = { def ~ "\n" ~ def_list | def }
def = { chan ~ "=" ~ proc_list | proc_list}
@westphallm1
westphallm1 / Spinnaker_on_RPi_Ubuntu.md
Last active April 9, 2024 00:53
Installing the Spinnaker SDK on Ubuntu for Raspberry Pi

Raspberry Pi Ubuntu Spinnaker SDK Setup

These steps describe using an Ubuntu desktop environment to install Ubuntu and the Spinnaker Python interface on a Raspberry Pi 3 B+. Commands to be run on the desktop are prefaced with (desktop)$, and commands to be run on the Raspberry Pi are prefaced with (pi)$

  1. Flash the latest Ubuntu image (at the time of writing: 18.04) to an SD card and perform first-time setup by following these instructions. You will need an HDMI cable, a monitor, and a keyboard. The Raspberry Pi must also be connected to your local network via Ethernet.
@westphallm1
westphallm1 / README.md
Created April 10, 2019 19:20
Installing the Spinnaker SDK on a BeagleBone Black

Beaglebone Spinnaker Setup

These steps describe using an Ubuntu desktop environment to install Ubuntu and the Spinnaker Python interface on a Beaglebone Black. Commands to be run on the desktop are prefaced with (desktop)$, and commands to be run on the Beaglebone are prefaced with (beagle)$

  1. Flash the latest Beaglebone Ubuntu image (at the time of writing: 18.04) to an SD card by following these instructions
  2. Boot the Beaglebone from the SD card (hold down the USER/BOOT button and then plug it in)
  3. Ensure a new network interface has appeared on your desktop: