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
Optimize every aspect of hiring with Greenhouse Recruiting
Hire for what’s next.
What’s next for many of us is changing. Your company’s ability to hire great talent is as important as ever – so you’ll be ready for whatever’s ahead. Whether you need to scale your team quickly or improve your hiring process, Greenhouse gives you the right technology, know-how and support to take on what’s next.
A universal platform for resource discovery and description that shares XML meta-data over existing peer-to-peer (P2P) networks such as Gnutella and JXTA.
StudiCloud provides a Webfrontent GUI for an OpenNebula driven cloud environment. It furthermore adds a backend proxy for using Shibboleth as an user authorization method.
CloudBase is a data warehouse system for Terabyte & Petabyte scale analytics. It is built on top of Map-Reduce architecture. It allows you to query flat log files using ANSI SQL. Visit CloudBase home page for details- http://cloudbase.sourceforge.net
Regpack is a powerful onboarding, registration, and payments platform trusted by thousands of organizations worldwide. Our mission is simple: to give you the tools to automate busywork, streamline your processes, and keep your focus where it belongs, on growing your programs and serving your clients.
FpgaC compiles a subset of the C language to net lists which can be imported into an FPGA vendors tool chains. C provides an excellent alternative to VHDL/Verilog for algorithmic expression of FPGA reconfigurable computing tasks. More info in wiki.
SnowFlock enables high performance computing on virtual machine (VM)-based cloud environments. In SnowFlock, a VM transparently becomes a cluster of VMs by cloning in sub-second time into multiple copies executing on different physical hosts.
Soaplab is a generator of Web Services providing a programmatic access to command-line (and other) applications on remote computers (an example of its usage is available at http://www.ebi.ac.uk/soaplab/)
An application that can connect an collect data from vPro machines over network. It uses web-services for communication and works with machines that has AMT version >= 3.0
Transforming NetOps Through No-Code Network Automation - NetBrain
For anyone searching for a complete no-code automation platform for hybrid network observability and AIOps
NetBrain, founded in 2004, provides a powerful no-code automation platform for hybrid network observability, allowing organizations to enhance their operational efficiency through automated workflows. The platform applies automation across three key workflows: troubleshooting, change management, and assessment.
This project is to build a distributed Key-Value Store (KVS).
* Can survive software or hardware failures.
* Can tolerate failures of entire nodes.
* Can recognize that new storage nodes are joining the system and are able to utilize new nodes.
Soutei is a trust-management system for access control in distributed systems. Soutei policies and credentials are written in a declarative logic-based language. Soutei policies are modular, concise, readable, supporting conditional delegation.
Equalizer is the standard middleware to create parallel OpenGL-based applications. Please visit https://github.com/Eyescale for current development information.
Context-awareness is a key concept in ubiquitous computing. The Java Context-Awareness Framework (JCAF) is a Java-based context-awareness infrastructure and programming API for creating context-aware applications.
The BIS-Grid engine is an extension of the UNICORE 6 middleware (www.unicore.eu) that implements WSRF compliant services to support WS-BPEL based workflow execution in Service Grids. This project is partly based on the ActiveBPEL engine
J2eeBuilder automates JSP<->POJO<->EJB service calls via Comonent Definitions(XML). It includes utilities for merging (ejb-jar.xml) & packaging component/ear. It is certified as J2EE-Compatible by Sun Microsystems and is the kernel of Ohioedge CRM Se
Identity and service provisioning software component allows service developers to automate the creation, modification and deletion of users' identity and service subscription information on multiple disparate identity stores.
*UPDATE*
myHadoop is no longer being updated on SourceForge. For the latest, check it out on GitHub at:
https://github.com/glennklockwood/myhadoop/
myHadoop is a simple system for end-users to provision Hadoop instances on traditional supercomputing resources, without requiring any root privileges. Users may use myHadoop to configure and instantiate Hadoop on the fly via regular batch scripts.
PBS Job Seer is a program which analyses the state of a PBS/Maui batch system and automatically generates a batch script for MPI jobs which would then be able to start immediately.
GridSAM provides a job submission open standards based web service for submitting computational jobs to many commonly used distributed resource management systems.
The SMOA Project provides a set of development kits, communication tools and highly efficient services targeted but not limited to SOA and HPC environments.
WOSH is a multi-platform message-oriented middleware written in ANSI C++. Service oriented architecture, designed for network distributed computing. Already working: Audio multimedia, X10, remote control (WinMobile, GTalk) and much more..
The Karoo Project is a framework for making it practical to create distributed applications. By "practical", I mean that it must do it uncomplicatedly, efficiently, and cheaply. This project provides application management, queuing, and IPC.