HOL

Hol or HOL may refer to:

• Hol (surname)
• Hol IL, a sports club in Hol municipality, Buskerud county
• Hol (role-playing game)
• HOL (proof assistant), a family of interactive theorem proving systems
• Hands On Learning, a student re-engagement program implemented by Hands On Learning Australia
• Head-of-line blocking, a performance-limiting phenomenon in computer networking
• Hellas On-Line, a Greek Internet service provider
• Higher-order logic, a branch of symbolic logic
• House of Lords, the upper house of the UK parliament
• House of Leaves, a novel by Mark Z. Danielewski
• Hounds of Love, an album by Kate Bush
• tlhIngan Hol, the Klingon language
• High Order Language, another term for High-level programming language

Places

• Hol, a municipality in Buskerud county, Norway
  • Old Hol Church, a 13th-century church in Hol, Buskerud county
• Hol, Tjeldsund, the administrative centre of Tjeldsund municipality, Nordland county
• Hol, Nordland, a former municipality in Lofoten, Nordland county
• Hol Church (Nordland), a church in Vestvågøy municipality, Nordland county
• Netherlands, from their former International Olympic Committee country code

People

• Richard Hol (1825–1904), Dutch composer and conductor