Search Results for "gnu science"

Our software GENPPI is efficient because, for example, it creates interaction networks from the central genome of 50 species/lineages of Corynebacterium, with an average size of 2200 genes, in less than 40 minutes, on a conventional computer. Our software is compelling because the interaction networks that it creates reflect evolutionary relationships between species and obtained in Average Nucleotide Identity (ANI) analyzes. Also, It allows the user to define how he intends to explore the...

StarkOX, the first universal Open Source AI Robot Operating System. It provides easy to use hardware abstraction and commonly-used functionality. Furthermore, strong cognitive functions, voice and pattern detection together with a new powerful scripting language provide possibilities to create and share abstract behavior patterns.

An implementation of the Joint Generation Algorithm of Fredman and Khachiyan for the computation of a dual pair of monotone boolean formulas in DNF (hypergraph transversals, extreme rays of polyhedral cones...). User-replaceable oracle.

This is a parser in Java for Lisp S-expressions. An S-expression or sexp (for symbolic expression) is a convention for representing data using parentheses.

CIOS Audio Core is the infrastructure and subsystem in Collective Intelligence Operation System. It is a cross platforms audio abstract interface, supports including Mac OS X, Linux, Android, iPhone OS and Windows 7.

The interactive mathematical programming system GYWOPT is released as free software. It has been developed since early 2000 for experiments with the Integral Basis Method for integer programming by U.-U. Haus, M. Köppe and R. Weismantel.

A Common Lisp framework for the Semantic Web, offering parsers and printers for the following Semantic Web standards: OWL 2 Functional, OWL 2 XML, OWLlink XML, OWLlink functional, and OWLlink S-Expression. Contains an OWLAPI-like ontology-framework.

The OKlibrary is a research platform for generalised SAT solving. It provides tools to tackle "intractable problems" at the Maxima computer-algebra level and at the C++ level. It also automatically installs a wide range of external software.

The IEEE 1619 Committee open-source reference implementations of encryption algorithms, plus testing and certification suites, for each encryption algorithm included in the standard.

An ACT-R 6.0 module built from the WordNet lexical database (ACT-R/WN-LEXICAL)

LispSharp is a fully compiled lisp implementation for the .NET Framework. It uses a Lisp dialect similar to ISO Lisp, it has a Command-line toplevel compiler with Read Compile Print Loop.It references any .NET DLL and produces standard .NET assembly.

CLearSharp is a clean C#-implementation of Common Lisp. The big goals are ANSI standard compliance, interoperability with Java and integration with scripting environments. This project is meant to be a sibling to CLearJ, with sharing of implementation.

CLearJ is a clean Java-implementation of Common Lisp. The big goals are ANSI standard compliance, interoperability with Java and integration with scripting environments. This project is meant to be a sibling to CLearSharp, with sharing of implementation.