Hermetica is an educational tool for learning about logic. It functions partly as a proof checker with inline annotations. It will also support python scripting for automated subproofs and calculations. I would especially like help with the artwork.
CoCOOT is an extended collaboration system of COOT(Crystallographic Object Oriendted Toolit). It operates an add-on of original Coot. It enables to collaboration through internet.
The Microchip PICkit 2 has the ability to act as a logic analyzer and I/O probe. This project provides a reverse engineered libusb user space device driver and GUI to provide this functionality for users of unsupported operating systems.
AudioSavant is a music visualization software that is aimed to allow students to get a better understanding of music. It is based in the OLPC's TamTam application, with a set of modifications from the information visualization world.
Everyday Software for the Researcher of Restricted Means: This project is intended to offer scientists and students with small budgets advanced versions of aqua-built desktop-editing, graphics and statistical applications for MacOSX.
This Project moved to https://sourceforge.net/projects/synbiowave/ because the name GeneWave is a registered trademark... Please do not use this project anymore.
Goldify is a set of tools that allow automated addition of links into electronic documents. Its main purpose is to allow such addition of links into documents that wish to link to the IUPAC GoldBook (http://goldbook.iupac.org).
py-xbeeMTS is a graphical interface to manage two cards (one serial and one MuIn Droids) communicating through xbee modules. GUI powered by Glade You must to have python serial module
UfakPython is a small subset of Python programming language, for small embedded devices, like PICs. UfakPython sources are translated to C by UfakPython Compiler. Small Device C Compiler can then compile the C outputs to the target device's codes.
DIY Genomics is an open source bioinformatics consortium intended to bring a collection of tools and libraries into the hands of small scale genomics labs for the process of sequence assembly and annotation. Projects include DIYA, MGAP, CRISPR, and DIYGV
This project is Java API to access Unicont Cardio Pager (http://unicont.ru/index2.html) device. This API allows access pager or get ECG data via serial port and through a modem line (using proprietary Windows ActiveX).
FoamBlade provides a complete toolchain for hotwire foam-cutting. FoamBlade currently supports 4-axis hot-wire foamcutting machines that are connected to the parallel port. Generating cut-files from special built DXF-Files is also possible.
Processes boolean functions which can be provided either as a list of 0s and 1s or which can be provided as a formula in first-order logic (using disjunctive or conjunctive normal forms). Internally the Quine McCluskey algorithm is used.
PepT-IDE is a protein analysis tool that is used for multiple sequence alignment, 3D visualization and displaying protein contact maps for protein sequences and structures. It also has feedback communication between the different views of the protein.