Skip to content
View Danila-Pechenev's full-sized avatar
✈️
✈️
  • St. Petersburg, Russia
Block or Report

Block or report Danila-Pechenev

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

  1. fp2022 fp2022 Public

    Forked from Krekep/fp2022

    OCaml with effects by Danila Pechenev & Ilya Dudnikov

    OCaml

  2. circuit-sat-minisat circuit-sat-minisat Public

    Forked from niklasso/minisat

    Circuit-SAT-solver based on Minisat SAT-solver and supporting circuit-based heuristics

    C++ 2

  3. Stanislav-Sartasov/spsu-mm-se-programming Stanislav-Sartasov/spsu-mm-se-programming Public

    A repository for SPbU Software Engineering bachelor studies

    C# 8 10

  4. InstructionAnalysisFramework InstructionAnalysisFramework Public

    Framework for collecting and analyzing data on the use of machine instructions

    Jupyter Notebook 2 1

  5. airh4ck/comp23hw airh4ck/comp23hw Public

    Forked from Kakadu/comp23hw

    PeDuCoML MiniML compiler

    OCaml