Lambda Tamer

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

Project Activity

See All Activity >

License

BSD License

Follow Lambda Tamer

Lambda Tamer Web Site

Other Useful Business Software

Our Free Plans just got better! | Auth0

With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.

Try free now

Rate This Project

User Reviews

Be the first to post a review of Lambda Tamer!

Additional Project Details

Operating Systems

Linux, BSD

Intended Audience

Science/Research, Developers

Programming Language

OCaml (Objective Caml)

Related Categories

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

Registered

2006-08-23

Similar Business 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
Windsurf Editor

The Windsurf Editor is a free AI-powered IDE and AI coding assistant that accelerates development by providing intelligent code generation and agents in over 70 programming languages and more than 40 IDEs, including VSCode, JetBrains, and Jupyter Notebooks. With Windsurf, developers can write...

See Software
Java

The Java™ Programming Language is a general-purpose, concurrent, strongly typed, class-based object-oriented language. It is normally compiled to the bytecode instruction set and binary format defined in the Java Virtual Machine Specification. In the Java programming language, all source code is...

See Software