Materials for "Mathematical basis of software verification" course of BMSTU Software Engineering last year

Running Vite with a Spin docker setup from ServerSide Up in a Laravel app

Parallax P8X32A/Propeller, P2X8C4M64P/Propeller 2 driver object for the ST LIS3DH 3DoF Accelerometer

Parallax P8X32A/Propeller, P2X8C4M64P/Propeller 2 driver object for US2066-based alphanumeric OLED character displays

P8X32A/Propeller, P2X8C4M64P/Propeller 2 driver object for the Si446x series ISM-band transceiver ICs

Study for mah thesis

Spin wheel is a fun game where user can spin the wheel and random option gets selected when wheel stops spinning.

Spin serverless application example

Parallax P8X32A/Propeller 1, P2X8C4M64P/Propeller 2 driver object for the STMicroelectronics LSM9DS1 IMU

Parallax P8X32A/Propeller, P2X8C4M64P/Propeller 2 driver object for the Melexis MLX90393 3DoF Magnetometer

P8X32A/Propeller, P2X8C4M64P/Propeller 2 driver object for the TI ADC083x-series ADC

Parallax P8X32A/Propeller, P2X8C4M64P/Propeller 2 driver object for the Melexis mlx90621 thermal sensor array

P8X32A/Propeller, P2X8C4M64P/Propeller 2 driver object for the ENC28J60 Ethernet Controller

Simulate spin dynamics for spin-3/2 nuclei using irreducible spherical tensor operators.

Make some blinky lights blink!

P8X32A/Propeller, P2X8C4M64P/Propeller 2 driver object for the AMS (TAOS) tcs3x7x RGB Color Sensor

P8X32A/Propeller, P2X8C4M64P/Propeller 2 driver object for HUB75 RGB LED matrix displays

Wheel spin that allows for a list of up to 120 names that uses SHA256 of the time and entrant to ensure integrity of the results

Моделирование и верификация распределенных алгоритмов с использованием языка Promela и верификатора Spin. Модели алгоритмов решения задачи взаимоисключающего доступа: Алгоритм Деккера, Алгоритм Петерсона, Алгоритм Дейкстра. Модель алгоритма контроллера светофора на сложном перекрестке.