plzoo

Tech stack & purpose

The Programming Languages Zoo is a collection of miniature programming language implementations that demonstrate various techniques used in language implementation. It serves as an educational resource for those learning how to implement programming languages or designing their own. The project includes multiple example languages spanning different paradigms: simple calculators (with and without variables), procedural languages compiled to machine code, functional languages (both eager and lazy), object-oriented languages based on extensible records, the untyped lambda calculus, logic programming with Prolog, and languages featuring type inference and polymorphism. Each language is implemented with features like arithmetic operations, functions, recursion, and various evaluation strategies, and most include interactive interpreters for experimentation.

Community & reference links

• PL Zoo website
• call-by-push-value

Languages

Contributors

• 
  Andrej Bauer125 commits · 921 followers
• 
  Matija Pretnar8 commits · 160 followers
• Dan Frumin2 commits
• 
  Gabriel Radanne1 commits · 222 followers
• Vasile Rotaru1 commits
• Amir Mohammad Saeid1 commits
• manu1 commits
• Steven Shaw1 commits
• Hugo Saavedra1 commits
• 
  Ng Zhi An1 commits · 188 followers
• Dov Murik1 commits