Search Results for "languages programming software"

Integrated Development Environment for some microcontrollers based on 8051(e.g. AT89S8253). Supported languages are Assembly and C. It has its own simulator, assembler, editor and many other tools. See the project web site for more details and the newest updates.

Web-CAT is a plug-in based web application for automatically grading programming assignments in many programming languages. This project also provides Eclipse plugins for electronic submission and feedback services directly from the Eclipse IDE. We now use github for source code control (https://github.com/web-cat), although all file releases are still provided here through SourceForge. The CVS repository here is for archival purposes only.

eTests is a PHP/MySQL web-based platform allowing to set formative evaluations using multiple choice questions. It has been developed during a Phd in education at the University of Namur, Belgium. To the students it offers feedback and detailed results to compare with pairs. To teachers it offers a way to analyze questions, validate them, follow the classroom trends of answers, edit questions, surveys, contextualize results regarding to studies sections, period of the year, etc. This...

testMaker is a software for web-based assessment. It provides the possibility to create and publish tests and questionnaires without requiring any programming experience. For more information, see: http://www.global-assess.rwth-aachen.de/testmaker-wiki

Extensions to NModel enabling model-based testing of systems implemented in Java or other languages.

A framework and Java class for rapid development of quiz apps for Android-smartphones. Preview-clip: http://youtu.be/QmBexUPsqm0 I have currently no resources to push this project further. However, if you're interested feel free to contact me - depending on the feedback I receive I might re-arrange my priorities.

rjudge is a judge system for the Olympiad in Informatics. It can be also used as a problem test tool in the programming contest and daily practice. It provides many security features to ensure the smooth implement of judgement.

Automated computer program grading solutions designed for trainings on computer languages, data structures and algorithms. See http://openjudge.net for details.

HardCoder - A powerful software for conducting online exams/competitions on C/C++/Java/C#. The software can compile, run, test and judge winners of code written in either of C, C++, Java or C# programming languages, all by itself.

A Slisp interpreter to learn the basics of lisp. The main goal is to be easy to programming with it, and more easy to develop it :)

The General Intensional Programming System (GIPSY) consists in three modular sub-systems: The General Intensional Programming Language Compiler (GIPC) ; the General Eduction Engine (GEE), and the Intensional Run-time Programming Environment (RIPE).

Celiz is a open source Judge System. Judge System is a software for doing judge work in Olympiad Informatics match, and also being used in ACM-ICPC International Collegiate Programming Contest.

Visual DB Script is an editor PHP,ASP,HTML(can support other languages) that integrate the functionally of a Database Manager (like Access or MySQL). It supports Scripting Developers with specifical SQL commands and an SQL Query Designer

ppC++, is an HTML-preprocessed C/C++ language which is adapted especially for active web pages programming and brings new additional features which make web programming very easy.

AdaPackageTesting is a tool for developers using the Ada95 programming language. With him, it's very fast to create the structure of a test program based of the package specifications (.ads).

The Automated Contest Management System is designed to help manage programming contests in the style of the ACM-ICPC. It is a Ruby-on-Rails application that can be easily installed and managed.

Praktomat is a web-based manager for programming labs. Students submit programs via the Web; Praktomat automatically compiles, tests and checks them; submissions not meeting the quality criteria are rejected.