Skip to content
View DafterT's full-sized avatar
9 followers · 3 following

Achievements

Achievement: Pull Sharkx2Achievement: Quickdraw

Achievements

Achievement: Pull Sharkx2Achievement: Quickdraw

Block or report DafterT

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. mik32-rps mik32-rps Public archive

    Rock Paper Scissors on the MIK32 AMUR microcontroller with an int8 neural opponent, RFID player profiles, an LCD interface, and persistent statistics in EEPROM.

    C

  2. modbus-promela modbus-promela Public

    Modbus protocol modeling and verification using Promela and SPIN, with 14 LTL properties, automated checks, and counterexamples.

    TeX

  3. radix-2 radix-2 Public archive

    SystemVerilog FFT64 core based on Radix-2 butterfly

    SystemVerilog

  4. LTL-checker LTL-checker Public archive

    LTL formula verification on event sequences using Python and SPIN, with JSON test cases, Promela model generation, reports, and counterexamples.

    Python

  5. ApiSpbStuRuz ApiSpbStuRuz Public

    Implementation of the SPbPU schedule api in python

    Python 1

  6. GPSS_modifier GPSS_modifier Public archive

    Модификация сгенерированного GPSS файла.

    Python