OStatic

A programmable radio-frequency synthesizer for quantum computing, including hardware, firmware, software, and documentation.

GGI stands for General Graphics Interface , and it is a project that aims to develop a reliable, stable and fast graphics system that works everywher...

HOL is a system for proving theorems in Higher Order Logic. It comes with a large variety of existing theories formalising various parts of mathemat...

Technical analysis library with indicators like ADX, MACD, RSI, Stochastic, TRIX... includes also candlestick pattern recognition. Useful for trading ...

Implementations for encodings of Arabic, in Perl and Haskell. Support for ArabTeX, Buckwalter, Unicode/UTF and other encodings. Possible encoding of o...

Axiom is a computer algebra system. It consists of an interpreter, a compiler and a library of algorithms. Axiom is an excellent research platform as...

Soar is a general cognitive architecture for developing systems that exhibit intelligent behavior. Researchers all over the world, both from the field...

Shell project for a better shell on UNIX like systems Improved.

Phramer - An Open-Source Statistical Phrase-Based Machine Translation Decoder http://www.phramer.org

Al2 is a language, close to C++ and Java, designed for mathematicians and phycisists. It is interactive, but unlike Mathematica and Maple, it is proce...