Skip to content
@verateam

Vera++ Team

Popular repositories Loading

  1. vera vera Public

    A programmable tool for verification, analysis and transformation of C++ source code

    C++ 90 27

  2. python-cmake-buildsystem python-cmake-buildsystem Public

    Forked from glehmann/python-cmake-buildsystem

    A cmake buildsystem for compiling Python

    C 2

  3. luabind luabind Public

    Forked from glehmann/luabind

    Create Lua bindings for your C++ code easily - my improvements

    C++

Repositories

Showing 3 of 3 repositories
  • vera Public

    A programmable tool for verification, analysis and transformation of C++ source code

    verateam/vera’s past year of commit activity
    C++ 90 BSL-1.0 27 0 2 Updated Aug 23, 2022
  • python-cmake-buildsystem Public Forked from glehmann/python-cmake-buildsystem

    A cmake buildsystem for compiling Python

    verateam/python-cmake-buildsystem’s past year of commit activity
    C 2 Apache-2.0 188 0 0 Updated Jan 19, 2015
  • luabind Public Forked from glehmann/luabind

    Create Lua bindings for your C++ code easily - my improvements

    verateam/luabind’s past year of commit activity
    C++ 0 242 0 0 Updated Jan 19, 2015

Top languages

Loading…

Most used topics

Loading…