Search
Code Directory
 ASP
 ASP.NET
 C/C++
 CFML
 CGI/PERL
 Delphi
 Development
 Flash
 HTML
 Java
 JavaScript
 Pascal
 PHP
 Python
 SQL
 Tools
 Visual Basic & VB.NET
 XML
New Code
Rentonn - Airbnb clone 1.0
VisualNEO for Windows 18.08.31.0
SentiVeillance SDK Trial 7.0.191272
dbForge SQL Complete 6.1
Uber for E-Scooters 1.0
ODBC Driver for MySQL 2.4
dbForge Schema Compare for MySQL 4.4
dbForge Studio for MySQL 8.1
dbForge Query Builder for MySQL 4.4
dbForge Data Compare for MySQL 5.5
Aqua Data Studio 19.5
ConyEdit for Windows 1.1.1
GetOrgChart 2.5.3.0
Database Workbench Pro 5.6.0
.Net VCL for Delphi 1.0.0.0
Top Code
MCU 8051 IDE 1.4.7
Project and Process Management Software 1.0
MATLAB Support Package for Arduino (aka ArduinoIO Package) 1.0
Panel Method Based 2-D Potential Flow Simulator 1.0
Online Vacation Rental Booking Website Script 4.3.0
Taxi Management System - Vaama Taxi 1.0
Ticket Booking System 1.0
Ping Pong Game Code Script 1.1
GUI for fuzzy based Washing Machine 1.0
Bessel Derivative Zeros 1.0
Hotel Management - Full Board Version 6.55
CreatiBe - Responsive HTML Template 1.0
Java Pattern Processor rc
Billing System 1.0.1
Simple Hill-Climbing 1.0
Top Rated
Paste phpSoftPro 1.4.1
Deals and Discounts Website Script 1.0.2
ADO.NET Provider for ExactTarget 1.0
Solid File System OS edition 5.1
Classified Ad Lister 1.0
Aglowsoft SQL Query Tools 8.2
ICPennyBid Penny Auction Script 4.0
PHP Review Script 1.0
ATN Resume Finder 2.0
ATN Site Builder 3.0
Availability Booking Calendar PHP 1.0
PHP GZ Blog Script 1.1
ATN Jobs Software 4.0
ATN Mall 2.0
WeBuilder 2015 13.3
Lambda Tamer 20091106
File ID: 126606






Lambda Tamer 20091106
Download Lambda Tamer 20091106http://ltamer.sourceforge.netReport Error Link
License: Freeware
File Size: 117.2 KB
Downloads: 0
Submit Rating:
Lambda Tamer 20091106 Description
Description: A collection of tools for formalizing programming languages and compilers, based around the Coq proof assistant

License: Freeware

O/S:BSD, Linux

File Size: 117.2 KB

Downloads: 0



More Similar Code

An attempt to write a whole program inside a python lambda.



A simple block function that lets one send multi line blocks of code to a function
it doesn't really act like a normal def/lambda but offers cool style



[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).



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



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



LTPL (lambda text processing language) is a new language created for processing text documents.
It relies on a set of functional like definitions used to process a document, producing generic output.



LCI is an interpreter for the lambda calculus. It supports many advances features like integers, recursion, user defined operators and multiple evaluation strategies.



Perl library for asynchronous I/O in lambda style



The Lambda-Engine is a cross platform game engine written in C++. It simplifies core tasks, such as rendering/graphics, sound, physics, math, scene and resource management.
It is still *far* from finished, but I am working on it :)



Working with Windows API which usually takes like a zillion for each function can be a little bit frustrating and if I want to only change two in the middle for each call I had to wrap everything into lambda functions which change arguments to the...

User Review for Lambda Tamer
- required fields
     

Please enter text on the image