New customers can spin up VMs, build with AI, and query data at no cost.
Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
Start Free
Veeam Data Platform v13.1 - Get Your Free Trial
Secure by design, portable by default. Recover clean, fast, anywhere. Start a free trial.
Try Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
Community Z Tools Project (CZT):
Tools for editing, typechecking and animating Z
specifications and related notations.
Includes a Java framework for building formal methods tools.
NOTE: development of CZT has now moved to GitHub:
https://github.com/community-z-users/czt
CB2XML (CopyBook to XML) is a COBOL CopyBook to XML converter written in Java and based on the SableCC parser generator. This project includes utilities to convert an XML instance file into its COBOL copybook equivalent string buffer and vice versa.
Source is now available in GitHub: https://github.com/bmTas/cb2xml
Program for creating Verilog synthesizable XOR trees for high performance designs. Supports creation of Hamming Code (ECC) generators, checkers, and GF2 Multipliers.
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.
Deploy in 115+ regions with the modern database for every enterprise.
MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
Generating PLC programs from formal specifications
G4LTL-ST is a standalone tool and a Java library for automatically generating industrial control software (supporting IEC-61131-3 Structure Text) from LTL or extended logic specifications.
See Tutorial.txt inside the package for step-by-step instructions. For technical demails, see CAV'14 paper "G4LTL-ST: Automatic Generation of PLC Programs". The old version (G4LTL; under BSD license) is available under file\arxiv.
Petri-LLD is a graphical development environment for real-time automation control and is written in Java. It is based on a form of Petri net, and compiles to a number of programmable logic controller (PLC) languages as well as Java and Visual Basic.
The target system of this project is to develop mathematically efficient program code generator from cellml like biological models described by mathematical markup languages.
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.
F2what is an open source project to translate algorithmic fortran to a variety of languages (java, dotnet and VBA so far).
It offers a Fortran77 parser with code transformations, variable disambiguation, and modular output to other programming languages.
It also offers already translated versions of Lapack and quadprog to Java, .Net and VBA, to give access to SVD, LU, QR, Cholesky, eigenvalue decomposition, linear system solving and QP optimization in those three languages.
SILENT is a Scratch modification that interfaces with LEGO MINDSTORM NXT 2.0 robot.
It's based on Scratch 1.4.2, developed in JAVA, Squeak and Bash scripting.
It's supported by Linux and Windows XP/7, in which it was tested. It required JAVA>=6.
Easy to setup and easy to learn!
Please leave your review to help me to improve it!
Ccide reads a source program, in one of several programming languages, expands all embedded decision tables, and generates
the new, expanded source.
Ccidew processes C language programs directly. The script, ccide, uses
ccidew and m4, to process BASIC, JAVA, CC, C++, BASH, QB, VB, and EX(euphoria), source files containing embedded decision tables.
Ccide checks all conditions once and only once, avoiding side effects.
Ccide checks tables for conflicts and other...
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.
ECL is a system-level specification language for HW/SW designs and is based on Esterel and C.
The ECL compiler parses ECL, writes Esterel and C, and uses the Esterel compiler to produce an implementation.
Originally developed at Cadence Berkeley Labs.
Parsers for biological data based on scanner generators like Flex (C), Re2c(C), Jflex (Java) and Ifickle (Tcl). This scanner generators are providing easier maintainance, development and higher speed than hand written scanners. Scanner output is SQL.
haggies is an optimizing code generator. It can read in expressions in common notation and generate output for many programming languages including C/C++, Java, Fortran, Python and many others.
The Xholon project explores: software as systems of linked nodes, organized hierarchically. The Xholon toolkit supports this back-to-basics approach, and demonstrates practical benefits through examples from numerous domains.
QWACK is a computer application aimed primarily at students and scientists allowing them to explore and experiment the concepts of computer programming by using the simple, but yet powerful graphical interface.
Don't hard-code data-structures for Artificial Intelligence (AI). Evolve them (and control flow) as cycles of arrays in arrays with size constraints based on other array sizes (at specific index) in terms of range, multiply, exponent, or permutation. No working code yet. Whats there now is an extension of GigaLineCompile which would become part of Human AI Net, but there are other projects to finish before I can come back to this one.
MOLGENIS can be used to generate databases for life science experiments (micrroarray, mass spectrometry, genomics) having a web user interface, csv exchange format, and programmatic interfaces (web services, rest, and r-project). See NatRevGen 8.
vMAGIC is a Java-API which helps creating VHDL generators and analyzers. vMAGIC comprises three parts: 1st a VHDL'93 compliant parser, 2nd a programming model to easily create and modify VHDL constructs, and 3rd a VHDL Writer to generate code.
* Java classes for parsing text, conversion to XML or to evaluate in Java. The parser is textual-script-controlled with a syntax near Backus Naur Format, named ZBNF. * Some routines for conversion: C-Header or Java to XMI, XML-Documentation generation,
A Controlled Language Programming (CLP) compiler, runtime engine, and development IDE for writing software in a natural (but somewhat restricted) language that clearly represents the real world concerns and maps to a 3GL (Java/Groovy) for execution.
UfakPython is a small subset of Python programming language, for small embedded devices, like PICs. UfakPython sources are translated to C by UfakPython Compiler. Small Device C Compiler can then compile the C outputs to the target device's codes.