Lambda Tamer

A collection of tools for formalizing programming languages and compilers, based around the Coq proof assistant

BSD License

User Reviews

Be the first to post a review of Lambda Tamer!

Science/Research, Developers

OCaml (Objective Caml) Frameworks, OCaml (Objective Caml) Compilers, OCaml (Objective Caml) Mathematics Software

2006-08-23

Similar Business Software

Dev-C++

Embarcadero Dev-C++ is a new and improved fork (sponsored by Embarcadero) of Bloodshed Dev-C++ and Orwell Dev-C++. It is a full-featured Integrated Development Environment (IDE) and code editor for the C/C++ programming language. It uses Mingw port of GCC (GNU Compiler Collection) as its...

See Software
Gemini Code Assist

Increase software development and delivery velocity using generative AI assistance, with enterprise security and privacy protection. Gemini Code Assist completes your code as you write, and generates whole code blocks or functions on demand. Code assistance is available in many popular IDEs,...

See Software
TrustInSoft Analyzer

TrustInSoft Analyzer is a C and C++ source code analyzer powered by formal methods, mathematical & logical reasonings that allow for exhaustive analysis of source code. This analysis can be run without false positives or false negatives, so that every real bug in the code is found. Developers...

See Software