Search Results for "linux-debian" - Page 16

Hemos decidido crear un software de mecanografía para la terminal de GNU/Linux, ya que es un sistema que se adecúa 100% a nuestro software, un software libre y educativo.

This is a formal equivalence checking tool developed @ IIT Guwahati which can be used to verify functional equivalence between circuits (combinational and sequential) of the formats BLIF, verilog and EDIF.

ASM for CoreWars, to translate RedCode Programs

A Distributed SOKOban GAme SYstem (SOKOGASY) implemented in Java, C# and python using .Net remoting, CORBA, java RMI, web services and django.

Exam-O-Matic is an online exam conduction tool that allows users to conduct both objective and subjective exams. It has an administration panel for managing exams, questions and student statistics. This project is developed using ASP.NET and SQL Server

Linux console program for drawing conic sections on the cartesian coordinate system. For studying purposes.

TexOut convert Latex document to Output documents. TexOut use LateXml to convert document from Latex to xml and then use xslt transformations to create output documents.

Automatic grading and reporting of student submitted Java projects through a set of utilities including checking for the presence of classes/methods, instantiation/execution of methods in the submission, and reviewing source code.

The mission of libshell is to keep in place all patterns, functions and etc of shell as a library which are useful in day-to-day work activities. With libshell one can definitely obviate the task in hand.

This anonymous emailer script written in PHP is a free, opensource project designed to send EMails from anyone to anyone, with additional details such as Reply-To ,an anti-spam CAPTCHA and a WYSIWYG.

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.

VOXX is just another vocabulary trainer. If you want to increase your vocabulary, have to learn Q/As for the next examination or simply want to full up your brain with the elements of the periodic table: This application should be okay for you.

A simple and user friendly application to help examine primary school children for maths.

An audience participation system using off the shelf USB game controllers for use in an academic setting.

Myquiz is a xoops quiz module.

TextStat create detailed statistics of a text file. Please view this page for help : http://www.lunerouge.org/spip/article.php3?id_article=443

A Flash quiz system with a PHP/MYSQL back end supporting multiple quizzes per instance, result tracking, and high score tracking.

The Gauss–Newton algorithm is realized in NI LabVIEW 8.6. The program finds parameters of the chosen function as well as their corresponding uncertainties. It is used for educational purposes at undergraduate level.

MBDyn_sim_suite is a collection of free pre&post-processing tools and simulation models for the open-source multi-body analysis software MBDyn forming a general purpose simulation environment for structural dynamics with an emphasis on wind turbines.

Easy-SEND is an implementation of the SEND (SEcure Neighbor Discovery) protocol for IPv6. It is aimed to be used for learning and testing purposes. SEND is described in RFC 3971. Easy-SEND includes a tool (CGAGen) to generate and verify CGAs (RFC 3972).

LinuxKidX is educational software suite that contains several educational games for children from 2 to 15 years old. Default language: Portuguese. If you have liked LinuxKidX Please help us to the project alive: http://sourceforge.net/project/project_don

The ExamSim engine is the open source base code for a few small test simulation products. All engine code will be freely licensed, although some of the content was, is, and will be commercially licensed in products. It was originally written in Java 1.4

A 3D Captcha implementation using Pov Ray and JSF. A user is presented with the challenge of identifying various objects. The image is generated out of a 3D model in which the different elements and element attributes are randomized.

This program is designed to quiz you on whatever you want to learn just like flashcards, a quiz maker, or quiz constructor. Input a question, one right answer and three wrong answers. Click practice and it will display the question with scrambled answers

TraSim is a simple framework for the development of traffic algorithms, and the observation of their behaviour. It comes with an algorithm that handles traffic lights dynamically, based on the presence of cars and pedestrians. Both cars and pedestrians can be spawned randomly; however, user interaction is also supported for both entities (e.g. to control destination, crossing decisions). Features such as distributed user interaction were originally left as future work; however, interaction...