Search Results for "education"

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

MinGW: A native Windows port of the GNU Compiler Collection (GCC), with freely distributable import libraries and header files for building native Windows applications; includes extensions to the MSVC runtime to support C99 functionality. All of MinGW's software will execute on the 64bit Windows platforms.

We extend the Eclipse IDE with tools for development in Haskell, a functional programming language, providing support for a wide range of tools (compilers, interpreters, doc tools etc.) in a coherent, convenient and configurable environment.

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.

TICO is currently a part of ARASUITE!!!! Please, look for ARASUITE in Sourceforge!!!! https://sourceforge.net/projects/arasuite/ TICO is a tool for the design and execution of interactive communication boards. Communication boards are highly used in augmentative and alternative communication (AAC) environments.

HOOPLE is a portable collection of C++ source code, featuring thread-safe objects for collections and event processing, RPC-style plugin-based encrypted networking (CROMP / octopus), bookmark collection management utilities, and a lot of other cool stuff. This is the project page for HOOPLE version 1, which was retired on September 25 2010. The code supposedly still builds on both Linux (with gnu gcc) and on Windows (with ms visual studio). Most of the code from hoople1 has moved into...

With dp4j.jar in your project classpath you directly access private members in your tests, w/o Reflection API boilerplate code; It also generates Design Patterns code and compile-time validates implementations. And Compiler & Co work for you again!

jNetStream is a sniffer and a protocol analyzer. Includes applications and library. 100s of protocols are defined. Includes scripting. It is appropriate for custom protocol development, grad students, and network teachers/professors. Full SDK included.

Structs and Nodes Development for Java. An alternative approach to enterprise-class software development using a message oriented execution model and code generation. Deploys to servlet container + db environment.

T.140 Presentation Library is an implementation of the presentation routines described in ITU-T T.140.

Java Transliterator, English to Tamil HTML Converter

Pascal-FC Development Tools (PFCDT) is an Eclipse based integrated development environment for the Pascal-FC language.

The intention of this project is to provide a freely available application to create and perfom interactive comunication boards to be used by people with severe motor disabilities.

Java Gui Designer(JGuiD)is a graphical user interface designer for java with a special feature WYSIWYG(what you see is what you get). you will be able to see at design time, the exact same thing as you get when the generated source is executed.

This tool is based on Graph Theory learning. It can help professors and students to teach and learn the Graph Theory easier. With this tool, people can draw simple graphs and even apply functions on their drawn graphs.

Thesis subject: Plagiarism detection tool

ECCO is a web-based IDE. In other words is an online development environment with file manager, console interface for compiling and execution of code and an editor with syntax highlighting, tabs and support for many languages and accessed with a browser

Misc packages including a matrix application, a text based minesweeper, and simple console functions bundled to be run from a virtual console. Some packages are independently runnable. http://damf.sourceforge.net/ for more information.

- A plug-in to generate an abstract class with an enumeration of keys from a properties file. (Adds an action with a corresponding icon into the popup menu of the package explorer) - A plug-in of associated assistance - An update site for this feature.

Integrated development environment for OCaml programming language. It offers a flexible editor with a content type sensitive content assist processor. It provides the possibility to compile and run OCaml projects together with the convenient presentation

An Eclipse-based project for studying Maven 2.

Build around JDBC and XML, this tool allows you to maintain visual repesentations of a database's layout, edit table's data, generate code to bind objects to tables, and export data in XML format to easely export data from one database to another.

mcuStudio is a development environment for Microcontrollers. It's based on Eclipse (plugin). The aim is to provide a high quality development environment for electronics. First editions will target Microchip Pic mcu's. Other mcu will be supported later.

Powerful PHP IDE/Editor. Automatically generates code for your scripts, based on our own PHP Framework. Can create projects, full class/function breakdown. Supports PHP 5x. Under active alpha development (as of Feb 06), subversion repository for latest.

JTestCase uses XML file to organize multi-testcase data and asserting conditions (action and expected result), and provides a set of easy-to-use methods to retrieve test cases out from XML, and asserts results against those expected ones in data file.