Search Results for "automatic java code generator"

MathCode is a terminal-based AI coding assistant focused on mathematical formalization and theorem proving. It is designed to transform plain-language mathematical reasoning into verified Lean 4 code and formal proofs. The project combines AI agents with Lean Language Server Protocol integration, allowing it to inspect compiler feedback, search for lemmas, and iteratively repair failed proof attempts. It supports an agentic proving workflow where the system behaves more like an interactive...

This book starts with a simple MyBatis query to build a basic development environment for learning MyBatis. Through a comprehensive sample code and test, the basic usage of adding, deleting, modifying, and checking operations in the MyBatis XML mode and annotation mode is explained, and the application of dynamic SQL in different aspects and the best practice program in the use process are introduced. Provides a wealth of examples for MyBatis advanced mapping, stored procedures, and type...

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

No-code system is for the visual creation of structural-functional models and the automatic generation of R language simulation models. The program can be used to describe information, production, organizational, and other processes. For graphical representation, the EdPM/EPM notation is used, which allowed us to implement: - structural-functional modeling using graphical methods; - the study of the efficiency of structural-functional models using simulation methods, that allow (e.g....

CFDTool - "CFD Simulation Made Easy" CFDTool is a fluid dynamics toolbox for modeling and simulation of flows with coupled heat transfer. Based on FEATool Multiphysics (https://www.featool.com), CFDTool is specifically designed to make advanced fluid mechanics and heat transfer simulations both easy and enjoyable. - Completely stand-alone and cross-platform self-contained toolbox - Optionally use as MATLAB Add-On toolbox - Fully integrated and easy to use MATLAB GUI - Modeling and...

Program for creating Verilog synthesizable XOR trees for high performance designs. Supports creation of Hamming Code (ECC) generators, checkers, and GF2 Multipliers.

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.

The target system of this project is to develop mathematically efficient program code generator from cellml like biological models described by mathematical markup languages.

Japrosim is a java library for both discrete event and continuous simulation. GUI for modeling and automatic code generation are offered. An explanation module is integrated. Models are described in XML and owl for interoperability.

Open RVC-CAL to HDL (ORC2HDL) is an Eclipse Plugin which uses the Open RVC-CAL Compiler (ORCC) and the openForge HDL Synthesizer. This plugin gives the ability to generate HDL code from a RVC-CAL model.

YANG (Yet Another Network Generator - Java) enables you to generate social networks given various social rules observed in the real population. Uses: generate realistic networks to be used in individual-centric models, teaching or benchmarking.

Molecular Interaction Potential Generator MIPGEN is a python program that will calculate Molecular Interaction Potential grids over a given molecule, that could be either a protein or a small organic compound (drug). The output will be a series of grids with DX format (*.dx) that the user will be able to visualize using any Molecular visualization program like VMD, PyMol, Chimera... For more information on dependencies and usage, please read the Documentation. Users are welcome...

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.

A high-performance and ease-of-use implementation of the Modbus protocol written in Java by Infinite Automation Systems Inc.. Supports ASCII, RTU, TCP, and UDP transports as slave or master, automatic request partitioning and response data type parsing. For commercial licenses see www.InfiniteAutomation.com Get the most recent code here: https://github.com/infiniteautomation/modbus4j For support: http://infiniteautomation.com/forum/category/11/modbus4j-general-discussion

A class generator for schemas defined in EXPRESS language. It can generate class definitions for Java, C#, C++ etc.

neuralnetgen is intended to be a universal neural net generator that receives a neural net description (on Neural Net Description Language, also developed on this project) and generates ANSI C code of a library that implements it.

Sight provides a friendly interface to create and connect agents for bioinformatics. The workflow supports multiple responses to a single request, structure transforms, filters and request history access.Can talk with ordinary http servers (get and post)