Search Results for "windows for linux"

x
Sort By:

Showing 5 open source projects for "windows for linux"

View related business solutions
Mathematics Lua Clear Filters & Widen Search
  • Atera all-in-one platform IT management software with AI agents Icon
    Atera all-in-one platform IT management software with AI agents

    Ideal for internal IT departments or managed service providers (MSPs)

    Atera’s AI agents don’t just assist, they act. From detection to resolution, they handle incidents and requests instantly, taking your IT management from automated to autonomous.
    Learn More
  • Desktop and Mobile Device Management Software Icon
    Desktop and Mobile Device Management Software

    It's a modern take on desktop management that can be scaled as per organizational needs.

    Desktop Central is a unified endpoint management (UEM) solution that helps in managing servers, laptops, desktops, smartphones, and tablets from a central location.
    Learn More
  • 1
    Agena

    Agena

    Agena is an interpreted procedural programming language.

    Agena is an easy-to-learn procedural programming language designed for science, scripting, and many other applications. Binaries are available for Windows, Linux, Solaris, OS/2, Mac OS X, Raspberry Pi and DOS.
    Leader badge
    1 Review
    Downloads: 197 This Week
    Last Update:
    See Project
  • 2

    wxCalculator

    Simple RPN desktop calculator, implemented with wxWidgets and Lua.

    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    Torch5 provides a matlab-like environment for state-of-the-art machine learning algorithms. It is easy to use and provides a very efficient implementation, thanks to a easy and fast scripting language (Lua) and a underlying C++ implementation.
    1 Review
    Downloads: 2 This Week
    Last Update:
    See Project
  • 4
    Lienzo is a gtk-Canvas and Lua program to work in geometry. Unlike others like Cinderella, Cabri, DrGeo, etc... this one focuses in algorithms, not in static figures. the lua interface allows to work with programable objects.
    Downloads: 0 This Week
    Last Update:
    See Project
  • The most advanced C and C++ source code analyzer Icon
    The most advanced C and C++ source code analyzer

    Combining the benefits of static and dynamic source code analysis to deliver the most advanced & exhaustive code verification tool.

    TrustInSoft Analyzer is a C and C++ source code analyzer powered by formal methods, mathematical & logical reasonings that allow for exhaustive analysis of source code. This analysis can be run without false positives or false negatives, so that every real bug in the code is found. Developers receive several benefits: a user-friendly graphical interface that directs developers to the root cause of bugs, and instant utility to expand the coverage of their existing tests. Unlike traditional source code analysis tools, TrustInSoft’s solution is not only the most comprehensive approach on the market but is also progressive, instantly deployable by developers, even if they lack experience with formal methods, from exhaustive analysis up to a functional proof that the software developed meets specifications.
    Learn More
  • 5
    Project moved to Google Code since SourceForce is a broken, buggy, non-responsive service. I had to re-log in over 100 times just to change this description. Please visit the project at http://code.google.com/p/starflighttlc/ for the latest version of th
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next

Related Searches

Related Categories