Explore projects

C

Мутилин Вадим Сергеевич / cif
GNU General Public License v3.0 only

C Instrumentation Framework is a user-friendly interface for Aspectator

0

Updated Feb 27, 2023

0 0 0 0

Updated Feb 27, 2023
K

Мутилин Вадим Сергеевич / klever
Apache License 2.0

Klever Git repository read-only mirror

0

Updated Feb 27, 2023

0 0 0 11

Updated Feb 27, 2023
C

Мутилин Вадим Сергеевич / cpachecker
Apache License 2.0

CPAchecker, the Configurable Software-Verification Platform

0

Updated Sep 27, 2022

0 0 0 0

Updated Sep 27, 2022