Chessing234/pydub
Manipulate audio with a simple and easy high level interface
Repositories
Chessing234/boltons
🔩 Like builtins, but boltons. 250+ constructs, recipes, and snippets which extend (and rely on nothing but) the Python standard library. Nothing like Michael Bolton.
Chessing234/transformers
🤗 Transformers: the model-definition framework for state-of-the-art machine learning models in text, vision, audio, and multimodal models, for both inference and training.
Chessing234/collatz
AI-aided Lean lab for chaining lemmas toward the Collatz conjecture.
Chessing234/bitchat-android
decentralized mesh chat
Chessing234/lean4
Lean 4 programming language and theorem prover
Chessing234/omarchy
Beautiful, Modern & Opinionated Linux
Chessing234/try-omarchy
Run Omarchy on MacOS without any setup.
Chessing234/omacut
Cut a video to the right trim
Chessing234/omaterm-site
Retired site for omaterm.org (now redirects to omarchy.org/server)
Chessing234/omaterm
Retired — see https://omarchy.org/server
Chessing234/omarchy-configurator
Chessing234/aether
Aether, native Omarchy theming made easy.
Chessing234/omarchy-site
Beautiful, Modern & Opinionated Linux by DHH
Chessing234/omamac
Retired — see https://omarchy.org
Chessing234/omakub
Retired — the story lives at https://omarchy.org/omakub, the thread continues at https://omabuntu.omakasui.org
Chessing234/numina-lean-agent
Chessing234/ProofWidgets4
Helper toolkit for creating your own Lean 4 UserWidgets
Chessing234/plausible
Chessing234/import-graph
Tool to analyse the import structure of lean projects.
Chessing234/LeanSearchClient
Syntax for searching with natural language from Lean, using https://leansearch.net/ (may extend to other services)
Chessing234/PalomarWeb
Static human-facing explorer for the Palomar database
Chessing234/MathBases
Chessing234/explain-explain-xkcd
Chessing234/teorth.github.io
Web page for exponent pair database
Chessing234/IEANTN
Chessing234/cie-alevel-eco-book
An open economics textbook for the Cambridge International AS & A Level syllabus, written in LaTeX with TikZ diagrams.
Chessing234/sendov
Chessing234/erdos-guy-selfridge
Project to verify the Guy-Selfridge conjectures