Search Results for "github-copilot"

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

...Implemented as plug-ins For Eclipse: https://marketplace.eclipse.org/content/sql-dal-maker For IntelliJ: https://plugins.jetbrains.com/plugin/7092 HOWTO install-update: http://sqldalmaker.sourceforge.net GitHub: https://github.com/panedrone/sqldalmaker Quick-Demo in mp4: https://github.com/panedrone/sqldalmaker/releases/tag/latest

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

This sourceforge site for the project is now DEPRECATED and not updated. All current work and new releases are on github: https://github.com/OpenJML/OpenJML. 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

ProGuard has moved to Github now: https://github.com/Guardsquare/proguard ProGuard is a free Java class file shrinker, optimizer, obfuscator, and preverifier. It detects and removes unused classes, fields, methods, and attributes. It optimizes bytecode and removes unused instructions. It renames the remaining classes, fields, and methods using short meaningless names.

This project has moved to GitHub ! The version here at SourceForge will remain for historic purpose. Koopa is a parser generator, made for COBOL. It can handle source files in isolation (no preprocessing required) and doesn't mind the presence of CICS/SQL fragments. The grammar is easily extensible in a way which minimizes the impact on the overall code.

migrated to github - https://github.com/GuavaEclipsePlugin/GuavaEclipsePluginParent "Guava Eclipse plugin" is an eclipse plugin which will generate following methods using Google guava utilty classes toString() equals(Object object) hashCode() compareTo(...)

...We , instead, experience the richness of the web by simply pasting our content on the web page itself. A very good example of the same may be experienced when you paste a screen shot on Github web itself . This project encourages developers to have such facility in the simple Java web application they develop. It's assumed that these developers are not using JSF Vaadin or ZK- any RIA framework already providing a component for uploading your clipboard content . This API is for those who use vanilla Servlet /JSP with some client side framework like Angular JS and Bootstrap , for example. ...

MIGRATED TO GITHUB: https://github.com/patins1/raas4emf/

This project has moved to http://github/mlhartme/mork.

Dresden OCLallows to query arbitrary EMF-based models. It provides an advanced OCL2 Editor, a Parser, an Interpreter, and a Codegenerator for Java and SQL. WE MOVED TO GITHUB. PLEASE VISIT https://github.com/dresden-ocl/dresdenocl

*** WARNING ***: THIS PROJECT HAS MOVED TO GITHUB. GO TO http://www.graniteds.org FOR UP-TO-DATE INFORMATION AND LINKS. Granite Data Services (GraniteDS) is a comprehensive development and integration solution for building Flex / JavaEE RIA.