Boogie is a programming language recognized by GitHub Linguist and used with .bpl.
Quick facts
What is Boogie
Boogie is a programming language recognized by GitHub Linguist and used with .bpl.
GitHub Linguist classifies Boogie as a programming language, typically using extensions such as .bpl.
File extensions:
Related languages
Frequently asked questions
Boogie is a programming language recognized by GitHub Linguist and used with .bpl.
Common extensions include .bpl.
Sources & standards
Updated 2026-08-18
Explore this reference