FormatCheck screens flat files looking for violations in the format of the data. It uses a set of XML files that define the rules for each file format. The Swing front-end allows the user to run the verification, view and print the errors.
Project MOVED to Codehaus New location is http://esper.codehaus.org The Esper project aims to provide a general-purpose event processing facility in Java for complex event processing of real-time, high throughput data streams.
Currently, all existing formal tools are designed to serve as formal verifiers, using one implementation or another. NO tool is providing a global framework to develop algorithms.
Silicis is a new formal framework for designing [verification] algorithms.
Unlimited organizations, 3 enterprise SSO connections, role-based access control, and pro MFA included. Dev and prod tenants out of the box.
Auth0's B2B Essentials plan gives you everything you need to ship secure multi-tenant apps. Unlimited orgs, enterprise SSO, RBAC, audit log streaming, and higher auth and API limits included. Add on M2M tokens, enterprise MFA, or additional SSO connections as you scale.
Duplicated source code can harm maintainability of software systems. Duplo is a tool to find duplicated code blocks in large C, C++, Java, C# and VB.Net systems.
A programming language designed for searching and manipulating tree-structured data, particularly corpora of natural languages encoded in an s-expression-like format.
The VilAug framework for visual linguistics! This gadget contains an IconNet with icons like WordNet and an IconMessenger as instant messenger. A new ontology is used, grammars for visual languages designed. A language with signs? Create it with VilAug.
JAG - the Java Application Generator - is a 100% Java application that generates working projects containing complete, best-of-breed J2EE applications.
LogiDist offer a solution of "Computer Aided Logistic" with mostly informative purposes on executed pickups/delivery of merchandise.
Is able to manage the whole process of purchase, order management, merchandise delivery to reduce distribution costs.
Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.
Built on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
The PGMFI project has as its goal total understanding of the computerized systems such as ECUs, ABS controllers and other devices present in Honda vehicles. Currently, the Non-Commercial-Sharealike license is reccomended for all releases.
Sidebrain is a programmer's memory aid, looking after a stack of tasks
and subtasks, and a queue or pool of tasks that are not on the stack.
It also keeps a collection of notes that you have made, associated
with the tasks.
PileWorks provides the organizational structure for coordinating several different projects which approach some aspect of Pile Technology. PileWorks defines a set of interfaces and implements some basic infrastructure for Pile engines and agents.
The MCLA Robotics project comprises a Java based platform for robotics application development. It is being developed by the physics department at the Massachusetts College of Liberal Arts in North Adams, Massachusetts.
statJ written in Java contains methods for performing basic statistical operations that describe a sample or population, including measures of central tendency or location, measures of variability or dispersion., and measures of strength of relationship.
DSD-REQ PROCESS is a Requirements Engineering process for Distributed Software Development on multi-site organizations. This process will be used for support Distributed Software Teams on requirement engineer discipline. It will be Based on BUP process.
OpenAOS is a open source project of a platform independent and distributed service for accessing measurement data over a standarisized interface (ASAM ODS) defined by ASAM e.V. (for details please visit standards at www.asam.net).
OpComm - The Operational Communicator - a IM/collaboration software which should help developers do realtime design and development collaboration even being in distant places of the world, or game players to communicate efficiently during a network game.
Simloc is the tool intended for finding similar chunks (blocks) of code. It could be used in reverse software engineering. It is faster than SimScan, find better blocks than PMD/CPD (not just exact blocks also similar) and could be runed at GRID.
JSAX - JavaScript Abstractions for X(HT)ML This is a JavaScript framework which is compatibel with the latest versions of Mozilla, Opera, Konqueror(+safari) and M$-IE.
XAlgo is a xml-language to freely describe algorithms. With this software you are able to validate and even translate those XAlgo-Documents into normal sourcecode (currently Java and C++).
EDB Tool is a perfect solution for Database Engineers. It's purpose is to help creating ERD and DFD diagrams and then tranfer them into SQL compatible with most databases. Also it's purpose is to do reverse engineering from database into SQL and ERD.