Search Results for "theory"

Log outgoing HTTP requests made from your application. Helps with debugging pesky API error responses, or just generally understanding what's going on under the hood. In theory, it should also work with any library built on top of these. But the difference between theory and practice is bigger in practice than in theory. This is very much a development and debugging tool; it is not recommended to use this in a production environment as it is monkey-patching the respective HTTP implementations. You have been warned - use at your own risk. ...

JGraphT is a free Java class library that provides mathematical graph-theory objects and algorithms. JGraphT supports a rich gallery of graphs and is designed to be powerful, extensible, and easy to use.

Symja - computer algebra language and Java symbolic math library. Moved to https://github.com/axkr/symja_android_library. The Android App can be found at: https://github.com/axkr/symja-example

In the tradition of Hilbert's program we create a formal correct (checkable by a proof verifier) but readable (like an ordinary LaTeX textbook) mathematical knowledge base which is freely accessible within the internet. Logic and set theory started.

...The program is written and works under Linux operating system. The possibility to install and use the program in Cygwin environment was not tested by the author. In theory it could work with Cygwin.

musify aims to be quick and easy mark-up for chord notation on the web. Enables better formatting of chord symbols, figured notation, time signatures, pitch class set theory, simple macro music analysis in web pages.

OUT OF DATE: See the Singularity project here at sourceforge. This project aims to make the expanse of human knowledge beautifully presentable and the exabytes of data navigable by an average user via the power of a Unified Data Model and 3d visualization layer for the Web. It will invert the top 3 layers of the OSI network model to make a 3-dimensional presentation layer with a peer-to-peer session layer for the Internet. For the curious, there is a simple demo that provides a...

A novel database and a webtop based on a new theory of objects.

E-Learn system, mostly intended for subjects with mathematical base (which supports algorythm). Supports: solving math tasks, theory pages, tests, courses.

This project intends to create an indexing search engine, for knowledge management. The primary object is to apply an information retrieval core. And implement a knowledge data discovery theory such as data mining algorithm, text mining.

Agents (A Game theoretic Evolutionary Network Traffic Simulation) is a toolkit for the analysis of selfish agents in networks by means of evolutionary game theory. Simulations of replicator and other dynamics can be plotted, visualised and analysed.

LAMP-based system for the development of texts (theories in a broad sense) via web interface or email interface.

CGI2SAS provides basic CGI scripting support for the SAS language. It is implemented in Python2.2 and SAS 8.2. Win NT/Win2k is well supported. In theory CGI2SAS should work on any platform supported by both SAS and Python.