Personal tools

Lambdabot

From HaskellWiki

Revision as of 01:49, 19 February 2006 by DonStewart (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Lambdabot

Lambdabot is an IRC bot written over several years by those on the #haskell irc channel.

Lambdabot lives here. Lambdabot's source is available via a darcs repository, here

Lambdabot is written in Haskell, and supports plugins for adding new commands. It has many plugins, including:

  • Haskell evaluation
  • Hoogle interface
  • Pointfree refactoring
  • A theorem prover, Djinn.
  • Lambda calculus interpreter
  • Haskell type and kind checking
  • Dynamic plugin composition
  • Haskell library source lookup
  • Language translation
  • Quotes
  • Todo lists
  • Irc functions
  • Darcs patch tracking
  • A vixen/eliza personality
  • Random dice
  • Project database
  • Dictionary lookups
  • Karma tracking
  • User poll and election support
  • Quotes
  • Search google, wikipedia and more
  • Spell checking

See the sources or ask the bot itself. If you have any questions about Lambdabot, ask on the #haskell irc channel.