开源项目社区 当前位置 :
www.trustie.net/open_source_projects 主页 > 开源项目社区
  • Parma Polyhedra Library
    0?1472459240

    The Parma Polyhedra Library (PPL) is a modern C++ library providing numerical abstractions especially targeted at applications in the field of analysis and verification of complex systems. The PPL can handle all the convex polyhedra that can be defined as the intersection of a finite number of (open or closed) hyperspaces, each described by an equality or inequality (strict or non-strict) with rational coefficients. The PPL also supports finite powersets and products of (any kind of) polyhedra and grids, a mixed integer linear programming problem solver using an exact-arithmetic version of the simplex algorithm, a parametric integer programming solver, and primitives for termination analysis via the automatic synthesis of linear ranking functions....

    4 个关注者

    1 位当前贡献者

    13843 距离上次提交时间

    258660 行代码

    管理人员:
    创建时间: 2014-05-06 16:12
    数据更新时间:2014-04-24
    Tags
    C++
  • Eclipse CDT Target Communication Framework (TCF)
    0?1472459240

    TCF standardizes the API and protocol for communicating with embedded systems for debugging, tracing, file transfer, terminal access and other services.

    The key benefits of TCF (compared to gdb, ssh and related tools) are its flexible componentized structure which allows vendor-neutral plugging of individual services, as well as performance and robustness for complex multi-core systems. TCF is lightweight and easy to port. The protocol supports auto-discovery of peers, transparent proxying / tunneling, and security via SSL if desired....

    4 个关注者

    1 位当前贡献者

    5733 距离上次提交时间

    316376 行代码

    管理人员:
    创建时间: 2014-05-06 16:12
    数据更新时间:2014-04-24
    Tags
    ide
    C++
  • zNotes
    0?1472459240

    Simple lightweight crossplatform application for notes managment.
    Written in the C++ programming language using Qt framework.
    Has versions for GNU/Linux, Windows, OS/2.

    5 个关注者

    1 位当前贡献者

    326 距离上次提交时间

    13815 行代码

    管理人员:
    创建时间: 2014-05-06 16:12
    数据更新时间:2014-04-24
    Tags
  • Ming - an SWF output library
    0?1472459240

    Ming is a library for writing SWF (Flash) format files. It includes high-level functions which abstract away mundane specifics of the file format and PHP (and now Python/Zope, Ruby, and c++) module code which wraps the library into handy objects.

    5 个关注者

    1 位当前贡献者

    3021 距离上次提交时间

    95206 行代码

    管理人员:
    创建时间: 2014-05-06 16:12
    数据更新时间:2014-04-24
    Tags
    web
    swf
  • Mtp Target
    0?1472459240

    Mtp Target is an Internet game where you play with and against other players. It is a mix of action, dexterity and strategy.
    After rolling down a giant ramp, you must delicately land your avatar on the platform which will reward you with the most points

    5 个关注者

    1 位当前贡献者

    351 距离上次提交时间

    24475 行代码

    管理人员:
    创建时间: 2014-05-06 16:12
    数据更新时间:2014-04-24
    Tags
    3d
    mac
  • Willow Garage ROS Packages
    0?1472459240

    These repositories hold ROS packages that are specifically intended for use at Willow Garage, and may thus make assumptions that do not generalize to any robot.

    5 个关注者

    1 位当前贡献者

    15901 距离上次提交时间

    445855 行代码

    管理人员:
    创建时间: 2014-05-06 16:11
    数据更新时间:2014-04-24
    Tags
    ros
  • QuickFIX
    0?1472459240

    QuickFIX is a full-featured open source FIX engine, currently compatible with the FIX 4.0-4.4 spec. It runs on Windows, Linux, Solaris, FreeBSD and Mac OS X. API's are available for C++, Java, .NET, Python and Ruby.

    5 个关注者

    1 位当前贡献者

    2149 距离上次提交时间

    1686241 行代码

    管理人员:
    创建时间: 2014-05-06 16:11
    数据更新时间:2014-04-24
    Tags
    fix
  • Apache C++ Standard Library
    0?1472459240

    Portable implementation of the C++ Standard Library.,

    5 个关注者

    1 位当前贡献者

    6143 距离上次提交时间

    786377 行代码

    管理人员:
    创建时间: 2014-05-06 16:11
    数据更新时间:2014-04-24
    Tags
    stl
    C++
  • lib2geom
    0?1472459240

    Lib2geom (2Geom in private life) is a library developed for inkscape to provide a robust computational geometry framework. It is not a rendering library, instead concentrating on high level algorithms such as computing arc length.

    5 个关注者

    1 位当前贡献者

    2188 距离上次提交时间

    86430 行代码

    管理人员:
    创建时间: 2014-05-06 16:11
    数据更新时间:2014-04-24
    Tags
    2d
  • QuteCom (formerly WengoPhone)
    0?1472459240

    QuteCom is the new name for the open source softphone previously known as WengoPhone, a standards-based softphone and multi-protocol IM client.

    It is a community project focussed on communication over IP, including VoIP, instant messaging and video phonecalls....

    5 个关注者

    1 位当前贡献者

    1229 距离上次提交时间

    2928895 行代码

    管理人员:
    创建时间: 2014-05-06 16:11
    数据更新时间:2014-04-24
    Tags
    C

© Copyright 2007~2021 国防科技大学Trustie团队 & IntelliDE 湘ICP备 17009477号