Free algorithmic software for windows

Orbital is a Java class library providing object-oriented representations and algorithms for logic, mathematics, and AI Orbital comprises computer algebra, theorem proving, search and planning, as well as machine learning algorithms.
Generally speaking, the conceptual idea behind the Orbital library is to provide extensional services and components for Java, which surround the heart of many scientific applications.
Hence the name Orbital library. In order to satisfy the requirements of high reusability, the design of this foundation class library favors flexibility, conceptual simplicity and generalisation. So many sophisticated problems can be solved easily with its adaptable components.
Especially useful tools are functor composition tools, including their integration into numerical and symbolic mathematics, as well as general functional evaluation schemes, and several algorithmic templates including search and planning. There are implementations of different logics and automated theorem proving systems, and computer algebra system routines.
Main features:
- The automatic theorem prover jImp and its reusable components for set of support and ordered resolution with clause indexing, subsumption, tautology elimination as well as Davis-Putnam-Loveland inference.
- The computer algebra system (CAS) components jAbr with Groebner-bases, gcd, symbolic differentiation, and data representation of vectors, matrices, multivariate polynomials, real numbers, rationals, integers, complex numbers, quotients, etc.
- Several solution algorithms for search and planning problems.
- Machine learning algorithms, including evolutionary algorithms.

Bio2Midi converts the text of a DNA or protein sequence to a MIDI file, which you may immediately audition, or import into any MIDI sequencer for further compositional processing.
Choose to listen to the sequences as 4-note DNA bases, or as 20-note protein amino acids, or both at once. You can select specific data sections to be translated, called exons and introns, and mark areas of interest to be played in a different instrument.
In order to provide a fast, easy sketchpad for converting and listening to the sequences Bio2MIDI translations are kept simple, giving only direct pitch translation of the DNA and protein sequences

A MIDI step sequencer like the old analog sequencers,with music functions you treat as physical boxes withknobs and sliders, that you can create, destroy, movearound, connect and reconnect. SoftStep plays any MIDIsynthesizer, or Windows MIDI sound card, and it cancreate Standard MIDI files. NOTE: does not work with Win NT. Works only with Win 95/98/2000

Orfeo Toolbox is a C++ library for high resolution remote sensing image processing Orfeo Toolbox (OTB) is a set of algorithmic components that will allow you to capitalise the methodological know how, and therefore use an incremental approach to take profit of the results of the methodological research.
OTB is made of a set of basic elements (C++ class API) and utilities (independent programs build upon the base API).
Orfeo Toolbox is a C++ library for high resolution remote sensing image processing. Orfeo Toolbox is developped by CNES in the frame of the ORFEO program.

BankStep is a program emulation of hardware bank sequencers found in the big analog synthesizers, that produce control for the sound but not the sound itself. Instead of analog control voltages BankStep produces MIDI (and can make standard MIDI music files).
Otherwise, BankStep functionally emulates a big $50,000 bank of hardware sequencers and supporting modules just as it might sit on top of a big Moog analog synthesizer - or your soft synth, MIDI module or sound card.
The main module in BankStep is the Bank module, which is a 3 or 4 bank knob sequencer of any number of columns up to 48. The Bank module is a "smart" module, with the ability to set sequence start and end points, and to automatically switch direction when the end points are reversed.
There are no dangling patchchords in BankStep. Instead, module inputs (the red and blue buttons) connect to outputs by selecting them from a popup menu of all available outputs. When an input is connected to an output, the input button label indicates the connection.