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

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

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

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

λ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 (LLGPL).... Platforms: *nix

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

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

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

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

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

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

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

[blockVectorX,lambda]=lobpcg(blockVectorX,operatorA)outputs the array of algebraic smallest eigenvalues lambda andcorresponding matrix of orthonormalized eigenvectors blockVectorX of the Hermitian (full or sparse) operator operatorA using input matrix blockVectorX as an initial guess, without... Platforms: Matlab

In cosmology, dark energy is a hypothetical form of energy which permeates all of space and has strong negative pressure. According to the theory of relativity, the effect of such a negative pressure is qualitatively similar to a force acting in opposition to gravity at large scales. Invoking... Platforms: Windows

Nasal is a language that I wrote for use in a personal project. Ostensibly it was because I was frustrated with the dearth of small-but-complete embeddable scripting languages, but of course I really wrote it because it was fun. It is still young and incomplete in a few places, but is under... Platforms: *nix

MillScript projetc is a full featured, yet easy to use language for the batch production of templated Web sites. The language is a Java-based, early implementation of Spice: an experimental language developed by the OpenSpice group. MillScript benefits from a carefully considered and... Platforms: *nix

Hugs 98 is a functional programming system based on Haskell 98, the de facto standard for non-strict functional programming languages. Hugs 98 provides an almost complete implementation of Haskell 98, including: - Lazy evaluation, higher order functions, and pattern matching. - A wide range of... Platforms: *nix

IQ has been my pet project since September 2003. IQ is an intelligent, modular IRC robot written in PHP. I wrote the original branch, 0.1.x, back in late 2003, and developed it and modules for it until early 2004. At some point in June 2004, I became inspired to rewrite the bots core and start... Platforms: *nix

Micro-Manager is an Open Source software package for imaging and control of automated microscopes on multiple platforms (Windows, Mac and Linux). Together with ImageJ, a popular image processing package, μManager provides a comprehensive imaging solution – comparable to commercially... Platforms: *nix

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