Search Results for "to-do"

...The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules (as in design by contract -- DBC). It has many tools to do assertion checking, unit testing, etc. The principal current tool of the project is OpenJML -- cf. https://www.openjml.org, with binary downloads from https://github.com/OpenJML/OpenJML/releases/latest

An open source implementation of OpenAI's ChatGPT Code interpreter. Simply ask the OpenAI model to do something and it will generate & execute the code for you. You can put a .env in the working directory to load the OPENAI_API_KEY environment variable. For Azure OpenAI Services, there are also other configurable variables like deployment name. See .env.azure-example for more information. Note that model selection on the UI is currently not supported for Azure OpenAI Services.

This project provides an open-source framework for the generation of high quality source code which is suitable for safety-critical applications and certification (e.g DO-178B). Currently a Simulink and Stateflow front-end and a C-language back-end are included. Some of the strengths of UCGN: - Clearly readable source-code - Separation of functionality and parameters ("tunable parameters") - Robust data storage (compile-time static structures in favor of pointer run-time constructs) - Clear software architecture, direct correspondence to the model architecture - Separation of reusable library code - Simplicity and uniformity of software interfaces (for testing etc.) ...

The programming language ATS unifies implementation with formal specification by accommodating a programmer-centric approach to program verification: How do we know a program being implemented correctly? We ask the programmer to demonstrate it with a proof.

ADMS is a code generator that converts electrical compact device models specified in high-level description language into ready-to-compile c code for the API of spice simulators. Repository migrated to: https://github.com/Qucs/ADMS For checkout do: git clone https://github.com/Qucs/ADMS.git

AII's free extensions for Joomla! use http://jaiixtensions.sourceforge.net/update/ with Joomla Extension Manager to install

Web-based Visual Query Designer is a tool for generating SQL queries. Currently, it is designed for MySQL only. Do checkout the demo from the project's website. [Note: Only SELECT queries, without GROUP BY (aggregation), can be designed.]

Imagine you want to start a new project in PHP using MySQL as a DB server. You create your tables and then the first thing you should do is... Create the DAO files. And this is the boring, error prone part of your system.<p> yapd will do it for you: it will read your schema in MySQL and it will create four files for you: * A file for the data object * A file for the interface * The DAO file * The file that extends the DAO files (for custom queries) I've used the fantastic phpdao software and I have fixed some bugs, added more phpdoc elements and used PHP MySQL's PDO system (instead of the deprecated mysql php driver)

Java-XML Binder (JXB) is a lightweight and easy to use Java-to-XML and XML-to-Java Mapping Tool. Mapping Rules should be configured through Java Annotations, you do not need any configuration files. JXB supports Objects of any complexity.

Robin is a framework that automatically generates Python bindings to C++ libraries. In addition to what other wrapping programs (like "Swig" or "SIP") can do, Robin puts stress on maximal useability and the tightest binding possible.

Add logger code to all java files recursively from a given directory. If directory is not defined, the current directory is used. System.out.println are defaultly replaced by logger.fine but you can change the lever or do not replace.

xApps,an enterprise universal platform(BPM),facilitates non IT user to build IT solution flexibly by form desinger,workflow designer & report builder etc.(We moved this prject to a new place.

the authors of ibo found the base ideas of ibo in the much stronger http://www.djangoproject.com/. if you stumbled in ibo, do have a look at our documentation, but please consider checking django.

YingMing is a PHP5 framework to quick develop of web based systems, using a code generator to do the CRUD operations based on the database. It provides functions and templates to quicky create forms and lists.

GUI Generator creates screens folks can use 2 do CRUD (create, review, update, delete) on tables in a DB. Makes fully internationalized & accessible screens so users can search, edit, run reports & much more. Help buttons work! Uses any DB w/JDBC drivers

Simple yet powerful templating engine for Python. Emphasis has been placed on ease of use. Simply put this file into your project directory and do "import template".

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.

phpCodeGenie is a code writer/generator for PHP/MySQL applications. It builds numerous forms and scripts, from your databsae tables. Just design your database and let phpCodeGenie do the coding for you.

This project is a feature-preview tool for JDO with JDK5's annotation usage. It removes away the step of writing metadata files or modifying them when the model classes are greatly changed. An Ant task is provided to automatically do this step for you.

ESOMA is a component orientated framework for simulation and evaluation of arbitrary microprocessor and DSP architectures. Simulators using ESOMA are runtime configurable. Architectural changes do not need recompiling. Programming language is C++ (Linu

PHP Application Server simplifies the development of Web applications and sites. It creates the environment of Web development in which the user will do not need special knowledge of designing and programming Web applications.

UML for Schema is a code generator, it takes an UML model, properly enriched with stereotypes and tags from an XMI file and it generate some equivalent W3C XML Schemes (WXS). It is also able to do the inverse transformation.

Este programa é um gerador de Analisadores Léxicos e Sintáticos, é o resultado de um trabalho de conclusão de curso, do curso de Ciências da Computação da UFSC.

Shark is an open-source preprocessor for Java that lets you do more with less. Shark makes Java sharper by adding Apache Velocity-style foreach loops and property getters, C#-style property setters, and more. Shark includes a commandline tool as we

How many times have you hand coded a MySQL table editor in PHP? PHPMyEdit provides an instant table editor. All you need to do is to write a simple calling program (and there's a utility to do this) and the job's a good 'un!