Skip to content
View timur-harin's full-sized avatar
9 followers · 2 following

Achievements

Achievement: Pull Sharkx2Achievement: YOLOAchievement: Quickdraw

Achievements

Achievement: Pull Sharkx2Achievement: YOLOAchievement: Quickdraw

Highlights

  • Pro

Block or report timur-harin

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.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. 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
timur-harin/README.md

Pinned Loading

  1. dualify dualify Public

    Bidirectional Spec-to-Logic and Code-to-Logic Extraction from Informal Specifications and Source Code using LLMs, with SMT-based Equivalence Checking and Counterexample-Guided Specification Clarifi…

    Python

  2. sum25-go-flutter-course sum25-go-flutter-course Public

    Summer elective: "Go+Flutter: Rapid Cross-Platform Development" 2025, Innopolis University

    Dart 7 86

  3. Sum24FlutterCourse Sum24FlutterCourse Public

    Summer elective "Flutter: Creating Cross-Platform Applications" 2024, Innopolis University

    Dart 16 62

  4. Fall24FlutterCourse Fall24FlutterCourse Public

    Fall elective "Flutter: Creating Cross-Platform Applications" 2024, Innopolis University

    C++ 4 30