CRUD
A multiplatform C++ Library for Decentralised Communication

Scientific/Engineering

TSetBuilder
TSetBuilder is an utility aimed to help creating large training sets of image samples for learning machines. It generates

Scientific/Engineering

MPI for Python
Object Oriented Python bindings for the Message Passing Interface (MPI

Scientific/Engineering
System::Distributed Computing

eBPM
An Enterprise Best Practice Management (eBPM) web service. Using this web service users can build structured best practices

Communications
Education::Computer Aided Instruction (CAI)
Internet
Office/Business
Scientific/Engineering

DSP Laboratory
A Digital Signal Processing Program for educational purposes, written in Java, tested on Windows, should work on Linux too

Scientific/Engineering

j-mode
an emacs mode for the j-programming language

Scientific/Engineering
Text Editors::Emacs

mlabwrap
A high-level python to matlab(tm) bridge. Let`s matlab look like a normal python library

Scientific/Engineering

GNFA to RegExp
This program allows you to specify a Deterministic Finite Automata, Nondeterministic Finite Automata, or Generalized NFA

Scientific/Engineering
Software Development::Code Generators

spassgui
Spassgui is a Perl/Tk based Gui for SPASS (An Automated Theorem Prover for First-Order Logic with Equality) by http://spass

Scientific/Engineering

Vutbrmsr
Vutbrmsr is a collection of .NET libraries providing basic framework for implementing tools for assisted and automated verification

Scientific/Engineering