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

Project Activity

See All Activity >

Categories

Frameworks, Compilers, Mathematics

License

BSD License

Follow Lambda Tamer

Lambda Tamer Web Site

You Might Also Like
Manage Properties Better For Free Icon
Manage Properties Better For Free

For small to mid-sized landlords and property managers

Innago is a free and easy-to-use property management solution. Whether you have 1 unit or 1000, student housing, or commercial properties, Innago is built for you. Our software is designed to save you time and money, so you can spend more time doing the things that matter most.
Learn More
Rate This Project
Login To 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
Report inappropriate content