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

$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

Start Free

Rate This Project

User Reviews

Be the first to post a review of Lambda Tamer!

Additional Project Details

Operating Systems

BSD, Linux

Intended Audience

Developers, Science/Research

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

Titan

Build the forms, portals, documents, eSignatures, surveys, and workflows your business needs while keeping Salesforce at the center of it all. Titan brings these experiences into a single Salesforce-first platform, with data connected to Salesforce in real time rather than creating another place...

See Software
Grafana Cloud

Grafana Labs delivers the leading AI-powered observability platform, built around Grafana—the world’s most widely adopted open source technology for dashboards and visualization. Recognized as a Leader in the 2026 Gartner® Magic Quadrant™ for Observability Platforms (3x) and furthest in...

See Software
SurveyJS

SurveyJS is an embeddable, self-hosted, white-label form builder for teams building custom forms, surveys, questionnaires, and other data collection tools inside web applications. It runs entirely on the client and is fully compatible with all modern JavaScript frameworks, including React,...

See Software
Google Cloud SQL

Fully managed relational database service for MySQL, PostgreSQL, and SQL Server with rich extension collections, configuration flags, and developer ecosystems. New customers get $300 in free credits to spend on Cloud SQL. You won’t be charged until you upgrade. Reduce maintenance costs with...

See Software
NetNut

Get ready to experience unmatched control and insights with our user-friendly dashboard tailored to your needs. Monitor and adjust your proxies with just a few clicks. Track your usage and performance with detailed statistics. Our team is devoted to providing customers with proxy solutions...

See Software
StackAI

StackAI is an enterprise AI automation platform to build end-to-end internal tools and processes with AI agents in a fully compliant and secure way. Designed for large, regulated organizations, it enables teams to automate complex workflows across operations, compliance, finance, IT, and support...

See Software