HOL

Hol or HOL may refer to:

  • 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

Read more about HOL:  Places, People