Owen Trueblood jmpinit

## minlogic.rkt
#lang rosette/safe
(require rosette/lib/angelic
         rosette/lib/match)
(define (^^ x y) (|| (&& x (! y)) (&& (! x) y)))

(struct lnot (a)   #:transparent)
(struct land (a b) #:transparent)
(struct lor  (a b) #:transparent)
(struct lxor (a b) #:transparent)
(struct lvar (v)   #:transparent)

## gamecube.c
// ISC License (ISC) Copyright 2019 John Murphy <jtm@oram.io>
//
// Permission to use, copy, modify, and/or distribute this software for any
// purpose with or without fee is hereby granted, provided that the above
// copyright notice and this permission notice appear in all copies.
//
// THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
// WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
// MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
// ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES

## gist:8754a0e611c3d67a18fea872dd19a8ea

#include<AccelStepper.h>
#include <MultiStepper.h>
#include <Servo.h>
#include <Rotary.h>


#include <Wire.h>

Servo servo1;

## htc_vive_watchman_codes
So, the way this goes is I post my AVR  code, then I post what the HTC Vive does.

The output is:  POST 0: (# of bytes) (IMU Timecode MSBs) (All raw light data)

(All raw light data ends with [3 bytes, LSB timecode] [OTA CRC (probably ignore)])

Events (TIME): (LED CODE 1)/(TIME CODE 1/TIMECODE 2)/(LED CODE 2)/(TIME CODE 3/TIMECODE 4)...
//NOTICE: The funky encoding of the numbers, and the fact that paramters are read from the end of the data going forward.
//We know we're done when the # of parameters read is (# of bytes left*2)-1

## flatten.js
<!doctype html>
<html>
<title>Flatten.js, General SVG Flattener</title>

<head>
  <script>
/*
Random path and shape generator, flattener test base: https://jsfiddle.net/fjm9423q/embedded/result/
Basic usage example: https://jsfiddle.net/nrjvmqur/embedded/result/
	#lang rosette/safe
	(require rosette/lib/angelic
	rosette/lib/match)
	(define (^^ x y) (\|\| (&& x (! y)) (&& (! x) y)))

	(struct lnot (a) #:transparent)
	(struct land (a b) #:transparent)
	(struct lor (a b) #:transparent)
	(struct lxor (a b) #:transparent)
	(struct lvar (v) #:transparent)
	// ISC License (ISC) Copyright 2019 John Murphy <jtm@oram.io>
	//
	// Permission to use, copy, modify, and/or distribute this software for any
	// purpose with or without fee is hereby granted, provided that the above
	// copyright notice and this permission notice appear in all copies.
	//
	// THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
	// WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
	// MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
	// ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES

	#include<AccelStepper.h>
	#include <MultiStepper.h>
	#include <Servo.h>
	#include <Rotary.h>


	#include <Wire.h>

	Servo servo1;
	So, the way this goes is I post my AVR code, then I post what the HTC Vive does.

	The output is: POST 0: (# of bytes) (IMU Timecode MSBs) (All raw light data)

	(All raw light data ends with [3 bytes, LSB timecode] [OTA CRC (probably ignore)])

	Events (TIME): (LED CODE 1)/(TIME CODE 1/TIMECODE 2)/(LED CODE 2)/(TIME CODE 3/TIMECODE 4)...
	//NOTICE: The funky encoding of the numbers, and the fact that paramters are read from the end of the data going forward.
	//We know we're done when the # of parameters read is (# of bytes left*2)-1
	<!doctype html>
	<html>
	<title>Flatten.js, General SVG Flattener</title>

	<head>
	<script>
	/*
	Random path and shape generator, flattener test base: https://jsfiddle.net/fjm9423q/embedded/result/
	Basic usage example: https://jsfiddle.net/nrjvmqur/embedded/result/