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
Excel Add-in for DB2 1.7
wolfSSL 4.0.0
EntityDAC Express 2.2
SecureBridge 9.1
C# HTML to PDF 2019.6.5
PHP Ecommerce Script 3.6
Devart SSIS Data Flow Components 1.11
dbForge Data Compare for PostgreSQL 3.2.15
OrgChart JS 4.9.7
iScripts CyberMatch 1.3.3
AnyGantt JS Gantt Charts 8.7.0
Database Workbench Pro 5.6.8
SentiMask SDK Trial 2.0.193121
dbForge Studio for SQL Server 5.8
ODBC Driver for ASE 2.1.2
Top Code
iScripts CyberMatch 1.3
SecureBridge 8.0
dbForge Data Compare for PostgreSQL 2.0
Database Workbench Pro 5.6.8
PHP Ecommerce Script 1.0.4
dbForge Studio for SQL Server 5.5
ATN Site Builder 3.0
Availability Booking Calendar PHP 1.0
Excel Add-in for DB2 1.1
ATN Resume Finder 2.0
PHP Review Script 1.0
EntityDAC Express 2.2
ICPennyBid Penny Auction Script 4.0
GnuWin64 64
Azizi search engine script PHP 4.1.10
Top Rated
VisualNEO Web 2018.12.15
Azizi search engine script PHP 4.1.10
Paste phpSoftPro 1.4.1
Extreme Injector 3.7
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
Invoice Manager by PHPJabbers 3.0
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
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