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
The leading LMS solution for mission critical learning needs Icon
The leading LMS solution for mission critical learning needs

it takes the modern learning environment to workforce enablement and beyond.

Streamline and integrate your complex learning, compliance, content monetization, and external training capabilities while keeping your people safe and delivering profits with Seertech’s LMS solution.
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