Skip to content
View Kevus's full-sized avatar
🤒
Out sick
🤒
Out sick

Highlights

  • Pro

Block or report Kevus

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

Popular repositories Loading

  1. Catch2 Catch2 Public

    Forked from catchorg/Catch2

    A modern, C++-native, header-only, test framework for unit-tests, TDD and BDD - using C++11, C++14, C++17 and later (or C++03 on the Catch1.x branch)

    C++ 1

  2. askeleton askeleton Public

    ASkeleTon

    C++

  3. hello-students hello-students Public

    Repositorio para la clase de POO

  4. tmp tmp Public

  5. jpf-core jpf-core Public

    Forked from javapathfinder/jpf-core

    JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastruc…

    Java

  6. artefactos-klee-test artefactos-klee-test Public

    Herramientas utilizadas para evaluar la aplicación práctica de la herramienta KLEE