Open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.
Symja - Java computer algebra language & symbolic math library
Symja - computer algebra language and Java symbolic math library. Moved to https://github.com/axkr/symja_android_library.
The Android App can be found at: https://github.com/axkr/symja-example
JSDAI is a toolkit for STEP (ISO 10303), the STandard for the Exchange of Product Model data, that enables linking of CAD, CAM, PDM, PLM, CAx systems. JSDAI supports the development of Express data models (ISO 10303-11) and their implementation in Java.
Eclipse Verilog editor is a plugin for the Eclipse IDE. It provides Verilog(IEEE-1364) and VHDL language specific code viewer, contents outline, code assist etc. It helps coding and debugging in hardware development based on Verilog or VHDL.
JinnIde is a plugin that allows using Jinni Prolog, now also hosted here on this site (with open source license!), within the confines of an IDE integrated in JEdit.
The MML Framework is a temporal-spatial biological model representation language. The MML Project provides the application tool set which facilitates the goals of representing biological models using the MML specifications.
The CodeTime platform covers every aspect of parallel software from authoring, through distribution, to run-time. Its goals are: high programmer productivity; write once, run high performance anywhere; and wide acceptance.
PRTG Catches Network Issues Before They Cause Downtime
Threshold-based alerts flag problems early, so your team can act before users notice, not after.
Reactive troubleshooting usually means hearing about a problem from frustrated users, not your monitoring tool. PRTG sets threshold-based alerts across devices, servers and applications, notifying your team by email, SMS or push the moment a metric crosses a set limit. That means catching a failing disk or overloaded server before it becomes an outage and getting time back from firefighting. Start a free trial and set your first alerts today.
mcuStudio is a development environment for Microcontrollers. It's based on Eclipse (plugin). The aim is to provide a high quality development environment for electronics. First editions will target Microchip Pic mcu's. Other mcu will be supported later.
YABI93 is an Interpreter for the esoteric programming language Befunge, version "Befunge93". It is written in Java 1.5 and uses Swing for its graphical interface. YABI supports a multilanguage GUI.
The intentions of this project are as follows:
1; Determine the potential interest level in developing a basic interface for creating models in GAMS (General Algebraic Modeling System).
2; To create a sounding board for what should be added to the exist
Direct Manipulation is a concept that is used in user interfaces;However itis a programming and system building concept.Intention Space java/xml framework gathers the concepts and tools to do direct manipulation through Flow and Focus orientation.
vIDE is a cross-platform tool for writing and simulating Verilog models. It provides user friendly project management and file editing, integrated simulation engine, waveform viewer, pre-compiled modules, and many other cool features.
Before year 2045, we want to create a "software development lab" that will allow to write "from scratch" the DNA of a creature, the "content" of it's first cell, and the components of the solution in which it will grow, to simulate it's life.