Skip to content
View deibit-dev's full-sized avatar
2 followers · 2 following

Block or report deibit-dev

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. 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. demuba3 demuba3 Public

    A Automated Demonstrator written in Prolog. That can be used as SAT solver when you place one formula on thesis (tautology test).

    C++ 2

  2. qrtwhisper qrtwhisper Public

    A Real time Qt Interface for Whisper.cpp

    C++ 1 1

  3. QLogueLibrarian QLogueLibrarian Public

    Cross-platform GUI wrapper for KORG logue-sdk/logue-cli tools

    C++

  4. tsppdl-unicen tsppdl-unicen Public

    TSPPDL Solver. VNS-Tree implementation with algorithmic improvements.

    C++

  5. deiosc deiosc Public

    C++