Stable Diffusion web UI

The official gpt4free repository | various collection of powerful language models

AKA Line Maker 10.0 | GUI for VHS video simulator

The official source code for the python-mechanize project

Local version of Deforum Stable Diffusion, supports txt settings file input and animation features!

Tool for data extraction and interacting with Lean programmatically.

Visualizing the network of math theories.

pdf-translator translates English PDF files into Japanese, preserving the original layout.

plasTeX plugin to build formalization blueprints.

A Lean 4 Jupyter kernel via repl