Skip to content
View turmyshevd's full-sized avatar

Block or report turmyshevd

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

Pinned Loading

  1. infrastructure infrastructure Public

    Forked from bitDive/infrastructure

    Shell 1

  2. bitDive/java-producer bitDive/java-producer Public

    Low-overhead Java agent for the Autonomous Verification Layer. Captures real runtime traces, SQL queries, and HTTP payloads in Spring Boot apps to enable trace-based testing.

    Java 92 6

  3. bitDive/bitdive-test bitDive/bitdive-test Public

    Mock-free JUnit integration testing for Java & Spring Boot. Close the verification gap by turning captured runtime traces into deterministic tests. Zero mock scripts.

    Java 78 22

  4. openclawgotchi openclawgotchi Public

    (▰˘◡˘▰) - AI Tamagotchi on Raspberry Pi. Agentic life-form with an E-Ink face

    Python 24 4