Skip to content

@verateam Vera++ Team

Change the repository type filter

All

    Repositories list

    3 repositories

    • vera

      Public
      A programmable tool for verification, analysis and transformation of C++ source code
      C++
      •
      Boost Software License 1.0
      •26•90•0•2•Updated Aug 23, 2022Aug 23, 2022

    • python-cmake-buildsystem

      Public
      A cmake buildsystem for compiling Python
      C
      •
      Apache License 2.0
      •147•2•0•0•Updated Jan 19, 2015Jan 19, 2015

    • luabind

      Public
      Create Lua bindings for your C++ code easily - my improvements
      C++
      •
      Other
      •237•0•0•0•Updated Jan 19, 2015Jan 19, 2015