Skip to content
View vkremneva's full-sized avatar
  • Israel
  • 15:05 (UTC 02:00)

Block or report vkremneva

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse

Pinned Loading

  1. mu-recursive-function-simulator mu-recursive-function-simulator Public

    C

  2. SAT-solver SAT-solver Public

    A simple SAT-solver running a DPLL algorithm. Format of input file is the DIMACS format.

    C

  3. memory-card-utils memory-card-utils Public

    Python

  4. blackjack-cli blackjack-cli Public

    BlackJack with Command Line Interface for Embedded C cource 2024

    C

  5. FreeRTOS FreeRTOS Public

    Forked from abed3228/FreeRTOS

    City Emergency Dispatch Simulation‬ for Real-Time Concepts course 2024

    C