Lambdabot
Revision as of 01:49, 19 February 2006 by DonStewart (talk | contribs) (Lambdabot migrates to the new wiki)
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
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.