Valid as of March 27th 2022
Install the latest openocd version (the official version produces a [segmentation fault][1])
brew install openocd --head| import ctypes | |
| import numpy as np | |
| import numpy.typing as npt | |
| from picosdk.usbtc08 import usbtc08 as tc08 | |
| from picosdk.functions import assert_pico2000_ok | |
| MAX_CHANNELS = 8 |
| FROM python:3.9-slim | |
| RUN apt update && apt install --assume-yes --no-install-recommends \ | |
| build-essential | |
| WORKDIR /tmp | |
| COPY requirements.txt ./ | |
| RUN pip install --no-cache -r requirements.txt |
| from abc import ABC, abstractmethod | |
| from argparse import ArgumentParser, BooleanOptionalAction | |
| import numpy as np | |
| from matplotlib import pyplot as plt | |
| from scipy import linalg | |
| pauli_z = np.array([[1, 0], [0, -1]], dtype=complex) | |
| pauli_x = np.array([[1, 0], [0, -1]], dtype=complex) |
| <!DOCTYPE html> | |
| <html> | |
| <head> | |
| <title>iFrame Proxy</title> | |
| </head> | |
| <body> | |
| <iframe src="http://localhost:3000?domain=google.com" width="800" height="400"></iframe> | |
| <script> | |
| const domain = (new URL(document.location)).searchParams.get('domain') |
| const zmq = require('zeromq') | |
| const socket = zmq.socket('sub') | |
| socket.connect('tcp://127.0.0.1:3000') | |
| socket.subscribe('') | |
| const shortSamples = 9 | |
| const longSamples = 34 | |
| const resetSamples = 348 |
| from datetime import date, timedelta | |
| from dateutil import rrule | |
| from shutil import copyfile | |
| # start and end time of your work contract | |
| start = date(2020, 3, 1) | |
| end = date(2020, 8, 31) | |
| # TODO: check if workday is public holiday | |
| holidays = [ |
Credit to manuelbl
Full file-paths:
<yourprojectpath>/platform.io~/.platformio/boards/disco_f072rb_libopencm.json~/.platformio/platforms/ststm32/builder/frameworks/libopencm3/libopencm3.py