Software for teaching and learning mathematical proofs Where most mathematical proof software concentrates on formal logic (or some other specialty area of mathematics), Lurch aims to be truly general-purpose, with an attracitve user interface.

Egonet is a program for the collection and analysis of egocentric network data. It helps you create the questionnaire, collect data, and provide general global network measures and data matrixes that can be used for further analysis by other software.

The Virtual Math Teams (VMT) Project (vmt.mathforum.org) at the Math Forum enables K-12 math collaborative learning, professional development of educators, & group cognition research.


Platforms: Mac

This is a tool to track External Relations, appointments, communications etc. with companies/contact persons. For each contact you can add notes, follow-ups, tasks to do and have an overview/history about it. Scripted in PHP+Smarty. Thought for AIESEC.


Platforms: Mac

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.


Platforms: Mac

DWSIM is a Chemical Process Simulator for Windows, Linux and Mac. Built for the Microsoft .NET 2.0 and Mono Platforms and featuring a rich Graphical User Interface (GUI), DWSIM allows chemical engineering students and chemical engineers to better understand the behavior of their chemical systems...


Platforms: Mac, Mac OSX

Keyword: Column, Columns, Component, Cosmosac, Custom, Distillationabsorption, Envelope, Exchanger, Graysonstreed, Ideal, Mixer, Operation, Operations, Orifice, Phase, Plate, Reactors, Segment, Shortcut, Utilities

RADlab needs your donations!! Features: * Radiation Detection Experiments * Gamma, beta, alpha and neutron sources * Coincidence Experiment * NIM module and instrumentation * Easy setup


Platforms: Mac, Mac OSX

Keyword: Alpha, Coincidence, Detection, Donations, Experiment, Experiments, Features, Gamma, Instrumentation, Module, Neutron, Radiation, Radlab, Setup, Sources

A very simple Calculator made in Java. Feel free to make it better! Features: * A very simple and clean interface! * Lightweight and easy to use! * Superfast download!


Platforms: Mac, Mac OSX

Keyword: Calculator, Clean, Download, Features, Interface, Lightweight, Simple, Superfast

Gene Studio is a free tool for modelling of DNA manipulation. It will allow to work with vectors, to design primers, to clone molecules and provide user friendly intewrface.


Platforms: Mac, Mac OSX

Keyword: Clone, Design, Friendly, Intewrface, Manipulation, Modelling, Molecules, Primers, Provide, Studio, Vectors

The BLAST Ring Image Generator (BRIG) is a cross-platform JAVA application, it has a graphical user interface, which takes the user step-by-step through the configuration of a genome circular visualization.


Platforms: Mac, Mac OSX

Keyword: Application, Blast, Circular, Configuration, Crossplatform, Generator, Genome, Graphical, Image, Interface, Stepbystep, Takes, Visualization

MyCoRe is an Open Source project for the development of Repositories, Digital Library and archive solutions. The technical base of the system is formed of Java class libraries, XML technology and different database backends.


Platforms: Mac, Mac OSX

Keyword: Archive, Backends, Class, Database, Development, Digital, Formed, Libraries, Library, Mycore, Project, Repositories, Solutions, Source, System, Technical, Technology

The RRobinCalc program calculates the starting heat of a pinewood derby race given the number of lanes of the track and the number of times a racer races in each lane. Can be used for other simultaneous multiple competitor events.


Platforms: Mac, Mac OSX

Keyword: Calculates, Competitor, Derby, Events, Lanes, Multiple, Number, Pinewood, Program, Racer, Races, Rrobincalc, Simultaneous, Starting, Times, Track

Welcome to the SRMA home page. SRMA is a short read micro re-aligner for next-generation high throughput sequencing data. Sequence alignment algorithms examine each read independently. When indels occur towards the ends of reads, the alignment can lead to false SNPs as well as improperly placed...


Platforms: Mac, Mac OSX

Keyword: Alignment, Alignments, Baseresolution, Consensuscurrently, Coverage, Diploid, Error, Illumina, Indels, Local, Provide, Region, Sequencing, Significant, Solid, Technology, Works

A fully developed set of DNA sequence assembly (Gap4 and Gap5), editing and analysis tools (Spin) for Unix, Linux, MacOSX and MS Windows.


Platforms: Mac, Mac OSX

Keyword: Analysis, Analysis Tools, Analysis Tools Spin, And Ms, Assembly Gap, Developed Set, Dna Sequence, Dna Sequence Assembly, Editing Analysis, Gap, Gap Editing, Gap Gap, Linux Macosx, Sequence Assembly Gap, Spin Unix, Tools Spin, Unix Linux Macosx

BSmapper - Sequence mapper for bisulfite sequencing reads for DNA methylation studies. Can handle Sanger and 454 reads for mapping to whole genomes or target regions.


Platforms: Mac, Mac OSX

Keyword: And 454, Bisulfite, Bisulfite Sequencing, Bisulfite Sequencing R, Bsmapper Sequence, Bsmapper Sequence Mapper, Dna, Dna Methylation, Genomes, Handle, Handle Sanger, Reads, Reads Dna, Reads Mapping, Sanger, Sequence Mapper, Sequencing Reads, Studies Handle

SeqTEx: identification of average Next-Generation Sequence DNA length from cross-correlation This project is in development and will be submitting the manuscript soon. Check back for more information about using this program later.


Platforms: Mac, Mac OSX

Keyword: Average, Check, Crosscorrelationthis, Development, Identification, Information, Length, Manuscript, Nextgeneration, Program, Project, Seqtex, Sequence, Submitting

DockoMatic is a GUI application that is intended to ease and automate the creation and management of AutoDock jobs for high throughput screening of ligand/receptor interactions.


Platforms: Mac, Mac OSX

Keyword: Application, Autodock, Automate, Creation, Dockomatic, Intended, Interactions, Ligandreceptor, Management, Screening, Throughput

Cahit Arf by Prime Components is an open source (LGPL licensed) utility for WEKA machine learning library which simplifies data extraction from relational databases and ARFF file preparation. Refer to the User's Guide for more technical details and installation. Features * Universal database...


Platforms: Mac, Mac OSX

Keyword: Access, Batch, Command, Conversion, Converts, Drivers, Format, Install, Interactive, Modes, Operate, Query, Results, Scheduled, Skinned, Suitable, Wizard, Working

A GUI program to create the plasmid database forms for BGME lab. This program presents user with a data entry form for entering plasmid information and automatically converts DNA sequence to protein, aligns it, and creates text output file.


Platforms: Mac, Mac OSX

Keyword: Aligns, Auto, Automatically, Create, Creates, Creates Text, Data Entry, Database Forms, Dna Sequence, Plasmid Database, Presents User, Program Presents, Program Presents User, Protein Aligns, Text Output File

Enable the user to talk to the calculator to enter the numbers and operations or write them using a drawing panel , it support both English and Arabic languages.It have text to speech of the entered numbers/operations and reading the results.


Platforms: Mac, Mac OSX

Keyword: Arabic, Calculator, Drawing, Enable, English, Enter, Entered, Languagesit, Numbers, Numbersoperations, Operations, Panel, Reading, Results, Speech, Support, Write