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
Vivantio IT Service Management Icon
Vivantio IT Service Management

Your service operation isn’t one-size-fits all, so your IT service management solution shouldn’t be either

The Vivantio Platform allows you to focus on the IT service management tools that make sense for your organization’s unique service model: from incident, problem and change requests, to service requests, client knowledge and asset management
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