Science & Engineering Software

OS OS

  • More...

Category Category

License License

Translations Translations

Programming Language Programming Language

Status Status

Audience Audience

User Interface User Interface

Freshness Freshness

Science & Engineering Software

  • WhatsUp® Gold - Start A Free 30-Day Trial WhatsUp® Gold - Start A Free 30-Day Trial Icon
    WhatsUp® Gold - Start A Free 30-Day Trial Icon

    All-in-one monitoring of your entire infrastructure with the industry's most user friendly pricing. Free trial of our award-winning software

    If you are like the rest of our user community, your IT team is busy. With pressure to deliver on-time projects, you don’t have a lot of time to spend making your management tools work. You need network monitoring tools that work for you. You want tools that makes it easy to find performance issues before your users do and resolve them before they impact the business. That’s why tens of thousands of customers around the world love WhatsUp Gold.
    1/2
    How many devices do you monitor on your company's network?
    2/2
    One last question before you visit our site:

    When do you plan to purchase a network performance monitoring solution?
  • 2018 Thomson Reuters Top 100 Global Tech Leaders 2018 Thomson Reuters Top 100 Global Tech Leaders Icon
    2018 Thomson Reuters Top 100 Global Tech Leaders Icon

    See how tech-sector leadership is being redefined in today’s complex business environment.

    21st century technology-sector leadership requires not only optimal financial performance but also attention to many other factors, including management and investor confidence, risk and resilience, legal compliance, innovation, environmental impact, social responsibility, and reputation. Successfully managing these areas may determine which tech companies have the fortitude to succeed in the future. Here’s to those that made the list.
    Who are today’s top global tech leaders?
    Read the report
  • GNU Prolog Icon

    GNU Prolog

    The GNU Prolog native compiler

    GNU Prolog is a free implementation (under GPL) of the logic programming language PROLOG. It can compile to native machine code which is extremely fast in execution. Another feature is the included constraint solver.

    Downloads: 40 This Week Last Update: See Project
  • CxProlog plugin for Code::Blocks IDE

    A plugin for Code::Blocks IDE to support CxProlog.

    Downloads: 1 This Week Last Update: See Project
  • PVN

    PVN evaluates logical formula in a user defined n-valued semantics. Current efforts are aimed at fleshing out the port to GNU\'s prolog environment. Possible uses include embedding into a public domain knowledge base for a defeasible reasoning system.

    Downloads: 0 This Week Last Update: See Project
  • alphalabs

    Hosting home-made software which is mathematically proven to be correct. We make use of tools like HOL, PVS, ...

    Downloads: 0 This Week Last Update: See Project
  • Previous
  • You're on page 1
  • Next

Get latest updates about Open Source Projects, Conferences and News.

No, Thank you