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 29.971.821 Times

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

Sonda Lambda

1 2 3 > 
Added: April 22, 2010 | Visits: 1.120

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: 612

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 (87): Lambda Download

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

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: August 08, 2012  |  Added: August 08, 2012 | Visits: 365

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

Added: August 18, 2013 | Visits: 292

Conversion between Equatorial and Ecliptic Coordinates [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...


Platforms: Matlab

License: Shareware Cost: $0.00 USD Size: 10 KB Download (19): Conversion between Equatorial and Ecliptic Coordinates Download

Added: July 05, 2013 | Visits: 223

LAMBDA - Wavelength Calculator 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...


Platforms: Matlab

License: Freeware Size: 10 KB Download (18): LAMBDA - Wavelength Calculator Download

Added: May 20, 2013 | Visits: 185

Lambda-Physik FL3002 GPIB Instrument Drivers 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...


Platforms: Matlab

License: Shareware Cost: $0.00 USD Size: 143.36 KB Download (18): Lambda-Physik FL3002 GPIB Instrument Drivers Download

Added: September 09, 2013 | Visits: 244

Gaussian realization of a random variable GAUSSian REALIZation of a random variable with standard deviation sigma and correlation length lambda


Platforms: Matlab

License: Shareware Cost: $0.00 USD Size: 10 KB Download (18): Gaussian realization of a random variable Download

Released: July 19, 2014  |  Added: July 19, 2014 | Visits: 135

Lambda Chi Alpha Recruitment Assistant 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...


Platforms: iOS

License: Freeware Size: 614.4 KB Download (7): Lambda Chi Alpha Recruitment Assistant Download

Released: August 26, 2014  |  Added: August 26, 2014 | Visits: 95

Lambda Tuner 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....


Platforms: iOS

License: Shareware Cost: $0.99 USD Size: 102.4 KB Download (7): Lambda Tuner Download

Released: April 25, 2014  |  Added: April 25, 2014 | Visits: 69

Jugendnetzwerk Lambda e.V. 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

Added: August 24, 2010 | Visits: 1.069

GIS::Distance::Vincenty 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...


Platforms: *nix

License: Freeware Size: 8.19 KB Download (96): GIS::Distance::Vincenty Download

Added: May 07, 2010 | Visits: 507

lambda-gtk λ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...


Platforms: *nix

License: Freeware Size: 378.88 KB Download (71): lambda-gtk Download

Released: August 01, 2012  |  Added: August 01, 2012 | Visits: 288

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


Platforms: Windows

License: Freeware Download (28): Fluent Validation for .NET Download

Released: August 02, 2012  |  Added: August 02, 2012 | Visits: 202

Moop 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

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

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

Released: October 21, 2012  |  Added: October 21, 2012 | Visits: 233

Phage Therapy Simulation-Discrete Events 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

Added: June 29, 2013 | Visits: 259

Coordinate descent for Compressed Sensing 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...


Platforms: Matlab

License: Freeware Size: 10 KB Download (19): Coordinate descent for Compressed Sensing Download

Free Split and Merge Expectation Maximization for MultiVariate Gaussian Mixture 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)...


Platforms: Matlab


Added: July 16, 2013 | Visits: 219

Composite parameterization of unitary groups 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...


Platforms: Matlab

License: Shareware Cost: $0.00 USD Size: 10 KB Download (18): Composite parameterization of unitary groups Download

1 2 3 >