Lambda Calculus Wikipedia

When you start iWiki a SystemStatusBar menu appears (in the upper-right corner, near the clock). By pressing Command-Option-A, a Search window appears: type a text and press enter to open the corresponding Wikipedia page.By pressing Command-Option-B, you can use iWiki with services: in...

Allows you to choose between and search in ten search engines and the information database of Wikipedia.You can search in Google, Yahoo!, AltaVista, MSN Search, Ask Jeeves, dmoz, A9, Webcrawler and Amazon.com.Uses a clean and simple Aqua user interface.Important note!This Widget will...

WikiSuche uses wikipedia.org. to search for whatever you wish to know. You can enter terms in English (en), German (de), Alemannic (als), Italian (it), French (fr), Spanish (es), Dutch (nl), Polish (pl), and Russian (ru). Further languages will follow in later releases.


Platforms: Mac

Pathway is a semantic browser that tracks your steps through MediaWiki sites such as Wikipedia. It represents visited pages by nodes, which are interconnected to form the trail that you've made. This enables you to keep a clear overview of your wiki explorations.


Platforms: Mac

Click.to, the true copy & paste turns everything on your desktop in hyperlinks, detours between applications can be skipped. Whether you need text added to an e-mail, pictures published on Facebook or a foreign word search in Wikipedia, click.to does it with one click. Content is easily...


Platforms: Windows

FC-Win is a comprehensive tool for creating, simulating and optimizing Fortran Calculus math models. FC is based on Automatic Differentiation (AD) that simplifies computer code to an absolute minimum; i.e., a mathematical model, constraints, and the objective (function) definition. Minimizing...


Platforms: Windows

With InSight Desktop Search,you can instantly search for files stored anywhere on your PC's harddrive. InSight performs search based on filenames, and also metadata if available. InSight supports metadata for following file types: JPEG,MP3,WMA, Microsoft Office Data, and also executable...


Platforms: Windows

A small validation library for .NET that uses a fluent interface and lambda expressions for building validation rules for your business objects.


Platforms: Windows

GeoGebra is free and multi-platform dynamic mathematics software for all levels of education that joins geometry, algebra, tables, graphing, statistics and calculus in one easy-to-use package. Features includes Graphics, algebra and tables are connected and fully dynamic, Easy-to-use interface,...


Platforms: Mac

GeoGebra is free and multi-platform dynamic mathematics software for all levels of education that joins geometry, algebra, tables, graphing, statistics and calculus in one easy-to-use package. Features includes Graphics, algebra and tables are connected and fully dynamic, Easy-to-use interface,...


Platforms: Windows

Ntccrt is an interpreter for the Non-deterministic Timed Concurrent Constraint (ntcc) calculus and its probabilistic extension (pntcc). It allows to execute models either as a stand-alone program, as a patch in OpenMusic or as an plugin in Max/MSP or PD


Platforms: Mac

The plan is to network our minds together at the conscious and subconscious and metaphysical levels through interactive psychology of feedback loops between many user-interfaces in a global scale-free peer-to-peer network, like mouse movements (2 dimensions), evolving Java code that reads from...


Platforms: Windows, Mac, Linux

Es un mAldulo escrito en Java que permite procesar los XML Dump (Backup superior a los 4GBs) de las Paginas de Wikipedia (pages-articles). JWD persiste las Paginas en ObjectDB (BDOO) o bien deja al usuario definir que hacer por cada una que encuentra.


Platforms: Windows, Mac, Linux

A Lightweight Coordination Calculus (LCC) Interpreter for Java


Platforms: Windows, Mac, Linux

Moop (Mud, Object-Oriented, Pythonic) is a MOO written entirely in Python, with a Lambda-MOO-based syntax and using Python as its object scripting language.


Platforms: Windows, Mac, Linux

This is a discrete event model that has been developed to computationally simulate the many interactions that occur between co-inhabiting populations of bacteriophage lambda and bacteria. Model qualifications are under review for scientific publication.


Platforms: Windows, Mac, Linux

Semantic MediaWiki is a module to the MediaWiki software (powering Wikipedia), which extends the Wiki with ideas from the Semantic Web. We focus on usability and tight integration. For details, see http://semantic-mediawiki.org


Platforms: Windows, Mac, Linux

The system searches synonyms (and related words) in Wikipedia. WikIDF generates index database of Wikipedia (for Russian, English, and German). The continuation of this project is 'wikokit' at code.google.com


Platforms: Windows, Mac, Linux

Txt2tags converts a text file with minimal markup to HTML, XHTML, SGML, LaTeX, Lout, UNIX Man Page, Wikipedia, Google Code Wiki, DokuWiki, MoinMoin, MagicPoint(mgp), PageMaker. Features: simple, fast, automatic TOC, macros, filters, include, GUI/CLI/


Platforms: Windows, Mac, Linux

VMatrixLib is a little, handy, Java matrix library which implements a set of utility functions (such as calculus of the determinant of a matrix, calculus of the rank, inverse matrix, and many others..) that anyone who have to use matrices needs.


Platforms: Windows, Mac, Linux