Lambdabot
Revision as of 01:49, 19 February 2006 by DonStewart (talk | contribs) (Lambdabot migrates to the new wiki)
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.