Idris Bot
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Erlang Irc Bot | 82 | a year ago | 7 | mit | Erlang | |||||
| A simple extendable irc bot in Erlang | ||||||||||
| Cl Eval Bot | 22 | 2 years ago | agpl-3.0 | Common Lisp | ||||||
| An IRC bot for Common Lisp code evaluation | ||||||||||
| Squircy2 | 18 | 5 years ago | 1 | June 03, 2019 | mit | Go | ||||
| Golang IRC bot, scriptable with javascript | ||||||||||
| Zzbot | 13 | 6 years ago | 8 | apache-2.0 | Scala | |||||
| Multi-platform scala REPL bot | ||||||||||
| Idris Bot | 12 | 9 years ago | 1 | other | Haskell | |||||
| An IRC bot connected to an Idris REPL | ||||||||||
Alternatives To Idris BotSelect To Compare
Alternative Project Comparisons
Popular Repl Projects
Popular Irc Projects
Popular User Interface Categories
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Haskell
Repl
Irc