Search Results for "all-in-one" - Page 3
Sort By:
Showing 138 open source projects for "all-in-one"
View related business solutions-
HubSpot is an AI-powered customer platform with all the software, integrations, and resources you need to connect your marketing, sales, and customer service. HubSpot's connected platform enables you to grow your business faster by focusing on what matters most: your customers.
-
Exact Payments delivers easy-to-integrate embedded payment solutions enabling you to rapidly onboard merchants, instantly activate a variety of payment methods and accelerate your revenue — delivering an end-to-end payment processing platform for SaaS businesses.
-
1
XJML
XJML 1.0 is a platform for Verification and Validation of Java classes
XJML 1.0 actually can reads one Java class and its contract (written in XML) and then executes the next verification techniques: 1. Runtime Assertion Checking (RAC). Using JML4c and JML4rt tools. 2. Extended Static Checking (ESC). Using ESC/Java2. 3. Full Static Program Verification (FSPV). Using the Why platform (tested with Why 2.30 and Why3 0.71) -
2
Python vipera
vipera is an application designer for Python
vipera is a designer of applications for the programming language Python. It has two main objectives: 1) The design of an application from an educative point of view, paying special attention to the documentation and design of classes. 2) The automatic generation of base code for software projects. vipera is a combination of basic tools for the design of applications in the early stages of development, allowing the creation of modules (libraries) and definition of their basic... -
3
Modelio-Open is a project hosting a set of open source extensions (SoaML, SysML and UML Testing Profile) for a previous version (1.2) of the Modelio Free tool . Currently, the lastest version (2.x) of Modelio modeling and generation tool is available at http://modelio.org/downloads/download-modelio.html. All extensions are downloadable at http://forge.modelio.org/projects.
-
4
This package can be used for further development of package needs to deal with 3D geometrical relationship. It provides class for Vector, Point, Coordinate, transformations and also provides functions for dealing with relationships between them.
-
Don’t let unpaid invoices limit your business’s growth. EBizCharge plugs directly into the tools your business already uses to speed up payment collection.
-
5
Antares DSM is a software to manipule all types of DSMs (see more about DSM in www.dsm.org). In Antares DSM is possible create, see, and execute functions to optimize the DSM projects.
-
6
SEvents is a System of Event programming with random factor designed to accept a script file and execute it with using extra modules. One module - one object, which relate on changing of some variables.
-
7
MASyV (Multi-Agent System Visualization) enables one to write agent-based models/cellular automata, eg. in C, visualize them in real time & capture to movie file with MASyVs GUI & message passing lib. Includes examples: Hello World, ants, viral infection
-
8
-
9
JavaStates is a Java library designed to statically describe and animate the states of Java objects, while ensuring that the integrity of states is retained at all times. JavaStates brings OO Programming style to interface spec, design and coding.
-
Drive amazing product experiences with quality product data.
-
10
The objective of this project is to provide the benefits of object-oriented modeling in projects developed using structured analysis and which will still be active for many years and require maintenance evolution.
-
11
-
12
UML based development environment for C++. The main idea is to use graphic view of the project as much as possible (design, refactoring and so on) and go to code view when it is really required (implement function, fix bug and so on).
-
13
GGredit is library that implements base functionality for a generic graphic editor. DDraw is a diagram editor designed for Gnome that use GGredit. DDraw is inspired to DIA, it can be used to draw many different kinds of diagrams.
-
14
-
15
System Designer is a software framework for domain specific languages based on model-driven generative programming. DSPE is one of the development environment based on System Designer. Audio n-Genie is a specialization of DSPE for the audio domain.
-
16
-
17
Software Process Model Suite is a toolset for modeling and simulate software process models. Is composed by: 1. a simulator engine; 2. a modeling tool based on SPEM, that uses model transformation approach; 3. a visual graphical simulator.
-
18
Our goal is to develop a full working solver for ATA (with 1 clock) in Python, with MTL to ATA support. The decidability for the emptiness problem was proposed by Lasota and Walukiewicz. The MTL to ATA was proposed by Ouaknine and Worrell.
-
19
red-open uses redview, open-erp-ware and ekkes-corner projects. the goal is to make it all work together as a "Software Manufactur": Model-Driven generation of ERP Business Apps with dynamic rendered Views.
-
20
-
21
-
22
TuBa, the Turorial Base, is an environment for creating developer tutorials with support of elucidative programming (EP). Unlike other EP-systems it is able to handle all artefacts, that appear in a development process.
-
23
C++ library for calculating the light propagation through large and very small structures (sub wavelength). The used method is the Fourier Modal Method. It can be solve one and two dimensional dielectric structures such as gratings, waveguides etc.
-
24
SfDT is a Eclipse plugin for the Symfony Framework. It provides a toolset for easier, faster and better developing process based on symfony framework.
-
25
Kodougu is an open source web-based modeling tool. This tool also has a web-based modeling-language designer.