Андрей Pastor

git config --global http.version HTTP/1.1
git config --global http.postBuffer 157286400

Шпаргалка по Markdown

(https://github.com/sandino/Markdown-Cheatsheet) (перевод, оригинал)

Поиграть с разметкой Markdown можно на демо-странице.

Содержание

Заголовки
Выделение

How to Use SPIN

Run Verifier

It's possible to use spin -a src.pml to create pan.[cbhmt] files. Then, it's possible to compile the generated verifier using gcc -o pan pan.c. The compiler verifier could be run by ./pan. spin -run src.pml automates the whole process.

Rerun After Failure

Download and install msys2 64bit

Download msys2 64bit from here: https://www.msys2.org/

Update msys2

Update msys2 64bit after install by running pacman -Syu if pacman needs to be updated you might have to close and reopen the terminal and run pacman -Syu again

Install build tools

pacman -S git mingw-w64-x86_64-toolchain mingw64/mingw-w64-x86_64-SDL2 mingw64/mingw-w64-x86_64-SDL2_mixer mingw64/mingw-w64-x86_64-SDL2_image mingw64/mingw-w64-x86_64-SDL2_ttf mingw64/mingw-w64-x86_64-SDL2_net mingw64/mingw-w64-x86_64-cmake make

	package main

	//#include<stdio.h>
	//void inC() {
	// printf("I am in C code now!\n");
	//}
	import "C"
	import "fmt"

	func main() {

	import os
	from typing import Dict, List, Optional

	import requests
	from jose import jwt, jwk
	from jose.utils import base64url_decode

	JWK = Dict[str, str]
	JWKS = Dict[str, List[JWK]]

	package demo.plain;

	import org.keycloak.OAuth2Constants;
	import org.keycloak.admin.client.CreatedResponseUtil;
	import org.keycloak.admin.client.Keycloak;
	import org.keycloak.admin.client.KeycloakBuilder;
	import org.keycloak.admin.client.resource.RealmResource;
	import org.keycloak.admin.client.resource.UserResource;
	import org.keycloak.admin.client.resource.UsersResource;
	import org.keycloak.representations.idm.ClientRepresentation;

	# A step by step installation of ROS Kinetic on macOS 10.13.4 High Sierra
	# Similar in spirit to https://gist.github.com/lubiluk/361a018b267ca4e3ce10cdc68b17363d but for Kinetic and High Sierra.
	#
	# Assumptions:
	# You already installed:
	# homebrew
	# XCode 9.3 (or in case you want to build CUDA, use CUDA 9.1 with XCode 9.2)
	# Remove any anaconda, conda or similar from your path
	# You're not afraid of the command line and can deal with potentially incomplete instructions like this file
	#

	1. run:
	sudo minicom -s
	2. Go to "Serial port setup" and set:
	Serial Device: /dev/ttyUSB0
	Bps/Par/Bits : 57600 8N1
	Hardware Flow Control : No
	Software Flow Control : No
	3. Select Exit to exit configurations and to enter minicom
	4. Press Ctrl+A Z
	5. Press E to enable local Echo

	module top(
	input CLK,
	output USBPU,
	output PIN_24,
	);
	assign USBPU = 0; // disable USB
	wire clk115200hz;

	dclk0 d0(.clk16mhz(CLK), .clk115200hz(clk115200hz));