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...
|License: Freeware||Size: 14.34 KB||Download (152): Python lambda calculus module Download|
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...
|License: Freeware||Size: 102.4 KB||Download (87): Lambda Download|
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...
|License: Freeware||Download (59): Lambda Animator Download|
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!
|License: Freeware||Download (29): Lambda Expression Parser Download|
[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...
|License: Shareware||Cost: $0.00 USD||Size: 10 KB||Download (19): Conversion between Equatorial and Ecliptic Coordinates Download|
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...
|License: Freeware||Size: 10 KB||Download (18): LAMBDA - Wavelength Calculator Download|
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...
|License: Shareware||Cost: $0.00 USD||Size: 143.36 KB||Download (18): Lambda-Physik FL3002 GPIB Instrument Drivers Download|
GAUSSian REALIZation of a random variable with standard deviation sigma and correlation length lambda
|License: Shareware||Cost: $0.00 USD||Size: 10 KB||Download (18): Gaussian realization of a random variable Download|
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...
|License: Freeware||Size: 614.4 KB||Download (7): Lambda Chi Alpha Recruitment Assistant Download|
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....
|License: Shareware||Cost: $0.99 USD||Size: 102.4 KB||Download (7): Lambda Tuner Download|
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
|License: Freeware||Size: 4 MB||Download (7): Jugendnetzwerk Lambda e.V. Download|
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...
|License: Freeware||Size: 8.19 KB||Download (96): GIS::Distance::Vincenty Download|
λ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...
|License: Freeware||Size: 378.88 KB||Download (71): lambda-gtk Download|
|License: Freeware||Download (28): Fluent Validation for .NET Download|
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
|License: Freeware||Size: 883.73 KB||Download (27): Moop Download|
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|
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
|License: Freeware||Size: 1.37 MB||Download (27): Phage Therapy Simulation-Discrete Events Download|
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...
|License: Freeware||Size: 10 KB||Download (19): Coordinate descent for Compressed Sensing Download|
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)...
|License: Freeware||Size: 215.04 KB||Download (18): Free Split and Merge Expectation Maximization for MultiVariate Gaussian Mixture Download|
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...
|License: Shareware||Cost: $0.00 USD||Size: 10 KB||Download (18): Composite parameterization of unitary groups Download|