Search Results for "database design tool"

The Olympus Project is an engineering project that utilizes an Arduino Nano microcontroller to create an electronic payload that records altitude, g-forces experienced by the rocket, as well as roll rate. Included with the code is a 132 page Project Manual that takes you through the design and construction of the electronic payload. It also includes sections on the construction of the Estes Olympus rocket. A detailed code review of each section of code is included. We take a detailed look...

Etchimaths is a Mathematics software, a helping tool for Mathematics simulation(solving) and study.It is a solving as well as a teaching software. It involves Mathematics programs at various levels of studies;they include: 1.Etchimaths(O'LEVEL) 2.Etchimaths(A'LEVEL) 3.Etchimaths(UNIVERSITY) 4.Etchimaths(BEPC/BEPC+1) 5.Etchimaths(BAC) 6.Etchimaths(UNIVERSITE) 7.Etchimaths(ULTIMATE) and more to come in future..

MultiC is a multiple choice answer and question tool with an embedded SQLite Database for Linux. The program supports single-, multi- and fill-in questions.

This project is now upgraded as educational resource planning tool including LMS (learning management system). Now DEI, AVV K, IITR, NITH, AMU, JMI, IGNOU, SMVDU are partnering in this. Overall coordination is done by IIT Kanpur.

The program implements the functions of searching, updating, displaying the contents of archives CPIO. Implementation for win32.

A language tool which use flash-card inspired repetition to help build your vocabulary in a foreign language. You design the tests and can focus on the words you need to work on.

CompilerEngine is a compilation engine, you can easily make a quick cross-platform compiler. But CompilerEngine just a preliminary framework for a prototype or preliminary design, there are many imperfections.

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.

BYOJeopardy is a program to create and play Jeopardy-like games. BYOJeopardy helps you easily build and display jeopardy games. Also, you can export boards to html, so you can play anywhere. This a great tool to use for reviewing topics in the classroom.

ele (enCore Learning Environment) is a moo- and web-based environment (server, db, GUI) designed for educational purposes. It aids and promotes online learning and community building through open standards and ease of use. http://encore-consortium.org/

Efficient Symbolic Tools package (EST) is a BDD based tool for the formal verification of concurrent systems. Its advantages are flexibility, portability and an efficient memory management. It runs under different OS, including Linux and Windows 2000/XP.

Currently, all existing formal tools are designed to serve as formal verifiers, using one implementation or another. NO tool is providing a global framework to develop algorithms. Silicis is a new formal framework for designing [verification] algorithms.

A tool to save information like tutorials, howtos, shell commands, or what ever into a "knowledge pool", so that you can glean it at any later time. knowlp is written in ANSI C89 and it's only tested on linux and solaris.

Portatux is an interactive ncurses interface as well as a command line tool for controlling the 8 data pins in the parallel port in Linux and FreeBSD.

Polyeder is a tool to virtually design 3d polyeders and afterwards create them with paper