Leanbot
IRC-bot written in Lean (https://leanprover.github.io/)
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Leanbot | 12 | 2 years ago | Lean | |||||||
| IRC-bot written in Lean (https://leanprover.github.io/) | ||||||||||
| Awkbot | 8 | 8 years ago | 4 | Awk | ||||||
| An AWK IRC Bot and pastebin | ||||||||||
| Reactor | 5 | 8 years ago | 14 | mit | CSS | |||||
| Reactor micro integration framework | ||||||||||
| Php Irc | 5 | 13 years ago | 2 | PHP | ||||||
| A web-based IRC client, written in PHP | ||||||||||
Alternatives To LeanbotSelect To Compare
Alternative Project Comparisons
Popular Irc Projects
Popular Telnet Projects
Popular Messaging Categories
Related Searches
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Irc
Telnet