Light

gaato / coderunbot Goto Github PK

View Code? Open in Web Editor NEW

0.0 1.0 2.0 207 KB

The Discord bot that can run codes and render LaTeX.

Home Page: https://coderunbot.gaato.net/

License: Apache License 2.0

Python 91.07% Dockerfile 1.25% JavaScript 7.68%

discord discord-bot

coderunbot's Introduction

CodeRunBot (gaato bot)

What is this

CodeRunBot

It can run codes and render LaTeX.

gaato bot

This is a bot for internal use that adds other functions to CodeRunBot. Also, this is for Japanese speakers.

Requirements

Python >= 3.10
tex.gaato.net

How to run (CodeRunBot)

Set CODERUNBOT_TOKEN in the .env.

with venv (recommended)

$ source /path/to/venv/bin/activate
$ pip install pip-tools
$ pip-sync
$ python -m bots

without venv

$ pip install -r requirements.txt
$ python -m bots

How to run (gaato bot)

Basically the same as CodeRunBot, but set .env to GAATO_BOT_TOKEN, GOOGLE_API_KEY and WOLFRAM_APPID and the execution command is as follows. You also need ffmpeg.

$ python -m bots -g

For developer

Pull requests are welcome. Please use pip-tools to manage packages. Do not rewrite requirements.txt by hand.

coderunbot's People

Contributors

Watchers

Forkers

raster0x2a legendmathlava

coderunbot's Issues

Can't play YouTube videos

Note: Successfully played niconico videos.

Cannot use code block in run command

Slash commands

/tex -> User inputs on modal -> Bot shows result

And save the user's input and make it editable by pressing the edit button.

Can't use PHP on run command

Not verified, but it may be due to a change in the Wandbox API.

Use ORM and switch DB

Cannot play YouTube Music Radio

Like: https://www.youtube.com/playlist?list=RDEM4pGYYhMejrWrWlG15Cuxdw

We don't need to play it but have to throw error before starting process

Integration with CodeRunBot

Run CodeRunBot again, which had been stopped. So we aim to run two bots by sharing common code in this repository.

ToDo

Create the run command
Apply for CodeRunBot's message content intent
~~Using ThreadPoolExecutor to run two bots~~ Use different command line arguments

Use dvipng

Separate gaato bot

I want to separate gaato bot from this repository because it is complicated.

Recommend Projects

React

A declarative, efficient, and flexible JavaScript library for building user interfaces.
Vue.js

🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
Typescript

TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
TensorFlow

An Open Source Machine Learning Framework for Everyone
Django

The Web framework for perfectionists with deadlines.
Laravel

A PHP framework for web artisans
D3

Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

javascript

JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
web

Some thing interesting about web. New door for the world.
server

A server is a program made to process requests and deliver data to clients.
Machine learning

Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Visualization

Some thing interesting about visualization, use data art
Game

Some thing interesting about game, make everyone happy.

Recommend Org

Facebook

We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft

Open source projects and samples from Microsoft.
Google

Google ❤️ Open Source for everyone.
Alibaba

Alibaba Open Source for everyone
D3

Data-Driven Documents codes.
Tencent

China tencent open source team.