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

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.

**NOTE**: As of 2017-Sep-14, this project was **moved to [github](https://github.com/15knots/cmakeed)**. Please file any issues there. ----- Eclipse plug-in for editing CMake files such as CMakeLists.txt. Provides syntax coloring, CMake command content assist, and the CMake command reference incorporated into the Eclipse help system. Requires Java 5 or higher and Eclipse 3.4 or higher.

The OovAide project used to be named oovcde. Searching the web will bring up more information about oovcde at this time. The OovAide project is a C++ or Java analysis IDE for Windows or Linux with an automated multi-tasking build system, cross compiler support, an analysis tool based on CLang that creates UML class, component, sequence as well as zone and portion diagrams from C++ or Java source, static analysis and test coverage. The diagrams allow navigation through the source code,...

We have moved to github! https://github.com/pfichtner/purgeannotationrefs Purge references to annotations out of the java bytecode/classfiles (remove the @Anno tag from annotated elements). Now you can use annotations to check constellations in bytecode after compilation but remove the used annos before releasing the jars.

XMLUnit 2.x Development Moved to GitHub XMLUnit provides help with testing code that creates or consumes XML. XMLUNit 2.x is available for both Java and .NET with a similar API. Development of this version has moved to a GitHub organization[1] with two git repositories for Java and .NET respectively. All discussion about XMLUnit independent of any version will happen on the XMLUnit general mailing list[2].

...This will gradually take place (on Github) over the next few months (in 2016). JavaFBP is now also on Maven.

The project moved to GitHub. SF version is no longer updated. See https://github.com/mikhail-barg/maketargeter for the latest versions. --- Make Targeter aims to help creating and building C/C++ make targets for projects where lots of build options are available in makefile.

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

Source code has been migrated to Github: https://github.com/ecdpalma/piccbuilder The PicCBuilder is an Eclipse plugin for allowing the use of Eclipse CDT as the editor and builder of projects for Microchip PIC microcontrollers. It creates makefiles that involke the C30 or C32 toolchain to generate the binary files.

bnd has moved to github: http://github.com/bnd/bnd

>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> dub is now available at github: https://github.com/galan/dub >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>