Download Shareware and Freeware Software for Windows, Linux, Macintosh, PDA

line Home  |  About Us  |  Link To Us  |  FAQ  |  Contact

Serving Software Downloads in 976 Categories, Downloaded 30.072.211 Times

Lambda Calculus Wikipedia software
Filter: All | Freeware | Demo
Display by: Relevance |  Downloads |  Name

Lambda Calculus Wikipedia

1 2 3 4 5 > 
Added: April 22, 2010 | Visits: 1.124

Python lambda calculus module Python lambda calculus module project is a simple but full-featured module for exploring lambda calculus. It understands the different types of lambda expressions, can extract lists of variables (both free and bound) and subterms, and can simplify complicated expressions by means of... Platforms: *nix

License: Freeware Size: 14.34 KB Download (152): Python lambda calculus module Download

Added: August 24, 2010 | Visits: 614

Lambda Lambda project is a Lambda calculus interpreter. It reduces lambda expressions and converts them into the S, K, and I combinators (ext). It has the ability to associate names with lambda expressions (def), load definitions from a file (load), and list current definitions (list). Lambda... Platforms: *nix

License: Freeware Size: 102.4 KB Download (88): Lambda Download

Released: October 26, 2012  |  Added: October 26, 2012 | Visits: 328

Lambda Animator Lambda Animator is designed as an accessible and handy application that can be used for demonstrating and experimenting with alternative reduction strategies in the lambda calculus. Eager languages reduce arguments before function application. Lazy languages reduce arguments, if needed, after... Platforms: Windows

License: Freeware Download (59): Lambda Animator Download

Released: December 10, 2012  |  Added: December 10, 2012 | Visits: 168

PetitLambda An interpreter of lambda calculus.It shows reduction process of lambda terms.Several evaluation strategies are supported.Output format can be selected from LaTex, plain text. Platforms: Windows, Mac, Solaris, Linux

License: Freeware Size: 51.81 KB Download (27): PetitLambda Download

Added: November 06, 2010 | Visits: 910

Ghost Diagrams Ghost Diagrams is a project that takes sets of tiles and tries to find patterns into which they may be formed. The patterns it finds when given randomly chosen tiles are often surprising. It turns out that tiling patterns are a form of computation of equal power to Turing machines, lambda... Platforms: *nix

License: Freeware Size: 33.79 KB Download (87): Ghost Diagrams Download

Released: September 17, 2012  |  Added: September 17, 2012 | Visits: 153

Pagkalos Pagkalos is an interpreted language written in Java. It supports the lambda-calculus and object-oriented techniques. All statements are writeen in reversed polish notation. Java-classes, objects and methods are easily accessible with the dot-notation. Platforms: Windows, Mac, Linux

License: Freeware Size: 634.08 KB Download (27): Pagkalos Download

Released: July 22, 2012  |  Added: July 22, 2012 | Visits: 207

The Combinator Engine This is a collection of several simple functional languages all based on combinator graph reduction techniques for interpretation. For now there's only one package here: lazy-l, which is an interpreter for Alonzo Church's untyped lambda calculus. Platforms: Windows, Mac, Linux

License: Freeware Size: 42.22 KB Download (27): The Combinator Engine Download

Added: March 25, 2010 | Visits: 1.362

Eclipse Wikipedia Editor Plugin Eclipse Wikipedia Editor Plugin is an Eclipse editor for the Wikipedia syntax. The project features syntax highlighting, source folding, outlining, uploading and downloading to and from the Web, and more. Whats New in This Release: - It is now possible to add an extra "domain" entry into the... Platforms: *nix

License: Freeware Size: 4.9 MB Download (136): Eclipse Wikipedia Editor Plugin Download

Added: July 06, 2010 | Visits: 1.355

Wikipedia API Wikipedia API is a simple API to embed Wikipedia content dynamically on a Web site. Wikipedia is an online encyclopedia in which the user community is encouraged to submit information for its entries. Wikipedia is unique in that it is free to the public, the content is fairly well moderated,... Platforms: *nix

License: Freeware Download (92): Wikipedia API Download

Added: July 19, 2010 | Visits: 1.158

Wikipedia search Wikipedia search is a superkaramba theme for searching on en.wikipedia.org. Based on Answers.com karamba by sg1 http://www.kde-look.org/content/show.php?content=30887 Thanks to Rcio Zienke for language config entry. To-do - make some transtalations - display article in wikipedia search... Platforms: *nix

License: Freeware Size: 12.29 KB Download (76): Wikipedia search Download

Released: October 15, 2011  |  Added: November 02, 2011 | Visits: 852

Quick Calculus Quick Calculus, a simple yet powerful tool for computing the derivatives, integrals, Taylor series, and limits of functions. KeatsSoft Quick Calculus helps you quickly find the solutions of calculus problems, freeing you from the tedious manipulation of mathematical equations. Through an... Platforms: Windows

License: Shareware Cost: $19.00 USD Size: 6.51 MB Download (93): Quick Calculus Download

Released: August 08, 2012  |  Added: August 08, 2012 | Visits: 367

Lambda Expression Parser Lambda Expression Parser is a handy and useful expression parser for parsing dynamical expression string to lambda expression. The component can perform math, logical and bit-wise calculations. Get Lambda Expression Parser and take it for a spin to see what it can actually do for you! Platforms: Windows

License: Freeware Download (29): Lambda Expression Parser Download

Released: June 19, 2012  |  Added: June 19, 2012 | Visits: 393

Wikipedia Save Search Results Software Save Wikipedia search results. Save results as text or HTML files. Platforms: Windows

License: Shareware Cost: $19.99 USD Size: 752 KB Download (27): Wikipedia Save Search Results Software Download

Released: June 03, 2016  |  Added: July 19, 2016 | Visits: 409

Visual Calculus Visual Calculus is an easy-to-use calculus grapher for Graphing limit, derivative function, integral, 3D vector, double integral, triple integral, series, ode etc. Which can create 2D, 2.5D and 3D function graphs, animations and table graphs. 2D Features: explicit, implicit, parametric, and in... Platforms: Windows, Windows 7, Windows Server

License: Demo Cost: $60.00 USD Size: 3.75 MB Download (72): Visual Calculus Download

Added: May 10, 2013 | Visits: 387

Wikipedia Reference BBCode Allows you to make keywords in your post link to those entries at WikiPedia. Supports several Languages ! Platforms: Windows, *nix, PHP, BSD

License: Freeware Download (27): Wikipedia Reference BBCode Download

Added: May 10, 2013 | Visits: 419

Search WikiPedia Search WikiPedia - search WikiPedia, the free encyclopedia Platforms: Windows, *nix, PHP, BSD

License: Freeware Download (27): Search WikiPedia Download

Added: May 10, 2013 | Visits: 462

Eclipse Wikipedia Editor Eclipse Wikipedia Editor is an Eclipse editor plugin for a local, personal Wiki with Wikipedia syntax support. The Wikipedia Plugin contains a Wikipedia Syntax Editor with the following features: - parallel offline editing for multiple articles - syntax highlighting for code snippets (sourround... Platforms: Windows, Mac, *nix, Java, BSD Solaris

License: Freeware Download (31): Eclipse Wikipedia Editor Download

Added: May 10, 2013 | Visits: 365

Wikipedia Tools Wikipedia Tools is a rich interface to query wikipedia (suggest, find as you type..), browse its categories (graphical tree), and... more to come. It is written on OpenLaszlo (lzx), so it's compiled in Flash, and will soon be available in AJAX (DHTML). Platforms: Windows, Mac, *nix, Flash, BSD Solaris

License: Freeware Download (33): Wikipedia Tools Download

Added: May 10, 2013 | Visits: 259

Discrete Event Calculus Reasoner The Discrete Event Calculus Reasoner is an open source program for performing automated commonsense reasoning using the event calculus, a comprehensive and highly usable logic-based formalism. It solves problems efficiently by converting them into satisfiability (SAT) problems. Features: - Comes... Platforms: Windows, Mac, *nix, C/C++, BSD Solaris

License: Freeware Download (32): Discrete Event Calculus Reasoner Download

Added: July 19, 2013 | Visits: 356

Wp-Wikipedia-Excerpt The basic idea here is that you can easily link to the wikipedia entry for a given topic by putting the [wikipedia]topic[/wikipedia] tag into your post. The tag is replaced by a link that executes the wikipedia search form for that topic.The plan is to augment this with a mouseover popup... Platforms: PHP

License: Freeware Size: 10 KB Download (18): Wp-Wikipedia-Excerpt Download

1 2 3 4 5 >