Added: April 22, 2010 | Visits: 1.147
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...
Added: August 24, 2010 | Visits: 623
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...
Released: October 26, 2012
Added: October 26, 2012 | Visits: 350
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...
Released: August 08, 2012
Added: August 08, 2012 | Visits: 381
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!
Added: August 18, 2013 | Visits: 317
[alpha,delta] = eclip2equat(lambda,beta) returns the right ascension and declination in the equatorial coordinate system corresponding to the longitudinal and latitudinal coordinates in the ecliptic coordinate system (lambda and beta).[lambda,beta] = equat2eclip(alpha,delta) returns the...
Added: July 05, 2013 | Visits: 257
This function will calculate the wavelength of a given frequency. By default the program will presume the entered value is in MHZ. However if you want to enter a frequency in another scale you also have the option to enter the scaling parameter as well (khz,mhz, or ghz).function...
Added: May 20, 2013 | Visits: 195
Because the Lambda-Physik FL3001 and FL3002 tunable dye lasers are old, they require a protocol that is now outdated. This package includes a stand-alone version of the GPIB dll file interface to a GPIB board, and a set of m-file wrappers to the dll file. This .zip also contains m-files that use...
Added: September 09, 2013 | Visits: 274
GAUSSian REALIZation of a random variable with standard deviation sigma and correlation length lambda
Released: July 19, 2014
Added: July 19, 2014 | Visits: 148
The Lambda Chi Alpha Recruitment Assistant gives chapters easy access to all their recruitment information in one app. Each member can collect recruitment information from any potential new member, store it in the database, and access their list of potential new members. With a handy export...
Released: August 26, 2014
Added: August 26, 2014 | Visits: 147
Lambda Tuner is a tool for tuning PID controller. Suitable for any kind of process industry. It using the Lambda method to calculate the P,I and D parameters. It works on self-regulating loops and integrating loops. Its designed to be as quick and easy to use as a normal calculator....
Released: April 25, 2014
Added: April 25, 2014 | Visits: 84
Dies ist die offizielle Lambda Sachsen-Anhalt App. Alle Neuigkeiten, Fotos, Termine usw, lassen sich nun komfortabel abrufen. Sobald es Nachrichten gibt, erhalst du auf deinem Smartphone eine Benachrichtigung. Auch der Kontakt zum Organisationsteam lasst sich mit dieser App ganz einfach rund um...
Platforms: Windows Phone
Added: August 24, 2010 | Visits: 1.126
GIS::Distance::Vincenty Perl module contains Thaddeus Vincenty distance calculations. SYNOPSIS my $calc = GIS::Distance::Vincenty->new(); my $distance = $calc->distance( $lon1, $lat1 => $lon2, $lat2 ); For the benefit of the terminally obsessive (as well as the genuinely needy), Thaddeus...
Added: May 07, 2010 | Visits: 516
λgtk is a cross-platform Lisp interface to the complete GTK+2 family of shared libraries. λgtk currently runs in the following Lisp environments: PPC/Darwin OpenMCL 0.14.2-p1 x86/Linux SBCL 0.8.16 x86/Linux CMUCL 19a and is released under the Lisp Lesser General Public License...
Released: August 01, 2012
Added: August 01, 2012 | Visits: 314
A small validation library for .NET that uses a fluent interface and lambda expressions for building validation rules for your business objects.
Released: August 02, 2012
Added: August 02, 2012 | Visits: 207
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
Released: December 10, 2012
Added: December 10, 2012 | Visits: 171
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
Released: October 21, 2012
Added: October 21, 2012 | Visits: 248
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
Added: June 29, 2013 | Visits: 294
This package has solvers for constrained and unconstrained L1 minimization, which is useful for compressed sensing. u = COORDL1BREG(A,f,lambda) solves the minimization problem min_u ||u||_1 subject to A*u = fwhere A is an MxN matrix and f is a vector of length M. Input lambda is a positive...
Added: August 05, 2013 | Visits: 313
Free Split and Merge Expectation-Maximization algorithm for Multivariate Gaussian Mixtures. This algorithm is suitable to estimate mixture parameters and the number of conpounds Usage ------- [logl , M , S , P] = fsmem_mvgm(Z , [M0] , [S0] , [P0] , [option]); Inputs ------- Z Measurements (d x N)...
Added: July 16, 2013 | Visits: 247
This file provides implementations of the composite parameterization of the unitary group U(d) and special unitary group SU(d) of arbitrary dimension d.>> UC.mFor an arbitrary dxd real matrix 'lambda' the function UC(lambda) returns a unitary matrix of dimension dxd.>> UCS.mFor an arbitrary dxd...