• 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
  • Manage and optimise Google, Facebook and Microsoft Ads faster and gain a competitive advantage with our digital advertising platform. Icon
    Manage and optimise Google, Facebook and Microsoft Ads faster and gain a competitive advantage with our digital advertising platform.

    Smarter, more effective advertising

    Slash the time it takes to manage and optimize your Google, Microsoft Advertising or Facebook Ads campaigns to just minutes a day. Adzooma's AI and machine learning based PPC platform offers stress free campaign management, state of the art 24/7 optimization and advanced automation, all in a simple to use interface. Scan for 50+ improvement 'opportunities', many of which can be actioned with a single click, track PPC performance and highlight over/under spending to improve your quality score, conversions and ROI. These trying times are tough for all. So we're giving away our whole award-winning platform for free until June 1st 2020. That's automated PPC ads, one-click optimisations, and world-class reporting - at zero cost. No strings attached. No credit card required.
    Free until June 1st 2020
  • 1
    PeerSE is a graphical experiment environment for analysing and developing peer-to-peer (p2p) systems in Java.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    The Health Manager Java SDK is an interface definition to connect wireless medical devices with a Java application. It includes also an implementation that simulates real devices and a sample application demonstrating the usage.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    The Distributed Genetic Programming Framework is a scalable Java genetic programming environment. It comes with an optional specialization for evolving assembler-syntax algorithms. The evolution can be performed in parallel in any computer network.
    Leader badge
    Downloads: 93 This Week
    Last Update:
    See Project
  • 4
    Narrator is a graphical modelling tool for the description of dynamical systems and processes. Narrator is SBML compatible.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Contractor Foreman is the most affordable all-in-one construction management software for contractors and is trusted by contractors in more than 75 countries. Icon
    Contractor Foreman is the most affordable all-in-one construction management software for contractors and is trusted by contractors in more than 75 countries.

    For Residential, Commercial and Public Works Contractors

    Starting at $49/m for the WHOLE company, Contractor Foreman is the most affordable all-in-one construction management system for contractors. Our customers in 75+ countries and industry awards back it up. And it's all backed by a 100 day guarantee.
    Learn More
  • 5
    JPowerFlow - a steady state electric power system power flow solver.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    Java Fuzzy Editor is a basic editor to allow creation of fuzzy based rules. It will save to serveral formats including to source code in several languages.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    This is a framework to develop Contexts and Agents and a Container to run them. The Container lets each Agent interact with the Context and other Agents. The agents are deployed in jar files and each one runs in an exclusive sandbox.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    A java framework for developing meta-heuristics that supports the use of grids environments. The meta-heuristics planned to be realeased are GAs, VNS and NNs. The grid middleware that will be firstly explored is the OurGrid solution.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    OlsenRoutes is a software environment with a powerful difference. It provides online users with a library of statistical tools and access to Olsen's database (1985 through today) of tick-by-tick foreign exchange trading prices.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Cycloid: Hybrid Cloud DevOps collaboration platform Icon
    Cycloid: Hybrid Cloud DevOps collaboration platform

    For Developers, DevOps, IT departments, MSPs

    Enable your developers to do their best work and increase time-to-market speed with a leading DevOps and Hybrid Cloud platform.
    Learn More
  • 10
    Simulation of a simple factory building cars. The aim is to design and refactor the code according to some semi-precise specification.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    it provides a user interface to the economic theory through an intuitive and easily understandable quantification of the economic value of alternative business models.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    LiNNS is not just a Neural Network Simulator, but a Neural Network System - a framework which covers the full lifecycle of a neural network, from design and research till usage in an external application.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    MEX/JNI is a set of bindings between MATLAB and Java using Mathworks' External Interface API and Java Native Interface (JNI).
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    SeSAm (Shell for Simulated Agent Systems) provides a generic environment for modelling and experimenting with agent-based simulation with a special focus on the easy construction of complex models including dynamic interdependencies or emergent behaviour
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    A .Net Library that lets you make full use of multi-core and multiprocessor computers. It is very efficient, and easily integrated into existing applications. It is modeled after the Parallel FX usage model, and is faster than the PFX too.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    JavaGO is an Open Source Java library for the Game of GO (weiqi, baduk) analysis. Implements: base game classes, montecarlo simulations, SGF reader/writer, game variants, GTP, etc. Elegant interfaces/class design. Speed efficient w/small footprint. TDD.
    Downloads: 0 This Week
    Last Update:
    See Project
MongoDB Logo MongoDB