Chrome and Firefox extension to hide Discord servers and channels
☆47May 7, 2025Updated 10 months ago
Alternatives and similar repositories for hide-discord-sidebar
Users that are interested in hide-discord-sidebar are comparing it to the libraries listed below
Sorting:
- Kernel objects for scaling and format conversion within VapourSynth☆12Nov 5, 2025Updated 4 months ago
- Efficiently computing & storing token n-grams from large corpora☆27Oct 6, 2024Updated last year
- Formalization of the Millennium Problems in Lean 4☆44Jan 16, 2026Updated last month
- Prepare for DeekSeek R1 inference: Benchmark CPU, DRAM, SSD, iGPU, GPU, ... with efficient code.☆73Feb 2, 2025Updated last year
- Implementation of the 7GUIs GUI programming benchmark with fltk-rs☆32Dec 6, 2025Updated 3 months ago
- A python algorithm to change the pitch of the voice in real time☆13Dec 13, 2020Updated 5 years ago
- ESP32 port of the existing TeslaBMS program☆10Jun 12, 2023Updated 2 years ago
- [ICML 2024] Official Repository for the paper "Transformers Get Stable: An End-to-End Signal Propagation Theory for Language Models"☆10Jul 19, 2024Updated last year
- An Obsidian plugin to hide, customize, and decorate file names in the sidebar using regex and customizable profiles.☆17May 11, 2025Updated 9 months ago
- ☆12Feb 18, 2024Updated 2 years ago
- A semidefinite programming solver for clustered low-rank SDPs☆14Updated this week
- BeltOut: An open source pitch-perfect voice-to-voice timbre transfer model based on ChatterboxVC☆79Jul 19, 2025Updated 7 months ago
- ☆10Sep 28, 2020Updated 5 years ago
- (READ ONLY MIRROR) The ProB Model Checker and Animator Plugin for Rodin☆19Feb 26, 2026Updated last week
- ☆11Sep 15, 2025Updated 5 months ago
- Blazing fast, modular, next gen logagent☆11Mar 2, 2026Updated last week
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- Calculate how much a LLM completion costs☆16Mar 4, 2026Updated last week
- A Minecraft Better Than Wolves addon that aims to slightly strengthen monsters.☆11Jun 23, 2024Updated last year
- CVPR 2023: PAniC-3D, Vtubers dataset downloader☆13Apr 22, 2023Updated 2 years ago
- This is her SUPA HYPER GREENTEXT☆10Mar 7, 2022Updated 4 years ago
- Obsidian plugin: Automatically organizes files into folders based on their extensions.☆12Dec 3, 2025Updated 3 months ago
- Documentation sources for syslog-ng Open Source Edition (https://github.com/syslog-ng/syslog-ng)☆10May 6, 2024Updated last year
- Cheat-sheets for shortcuts & commands at your fingertips.☆21Oct 30, 2025Updated 4 months ago
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"☆49Dec 16, 2024Updated last year
- ☆10Oct 11, 2022Updated 3 years ago
- SipHash function for PHP☆16Feb 2, 2021Updated 5 years ago
- Python 3 script for analyzing Apama correlator log files and extracting useful diagnostic information☆13Jan 27, 2025Updated last year
- ☆11Oct 31, 2021Updated 4 years ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated last year
- ☆12Mar 3, 2026Updated last week
- ☆16Jul 23, 2023Updated 2 years ago
- 4chan Information Library☆10Oct 11, 2013Updated 12 years ago
- A script that tracks when twitter spaces go live☆46Nov 9, 2025Updated 4 months ago
- Tools to isolate speaker and transcribe unstructured audio clips☆11Dec 4, 2022Updated 3 years ago
- Auto math prover.☆11Jul 10, 2024Updated last year
- A desktop application that lets you remotely debug apps on your KaiOS device.☆14May 12, 2024Updated last year
- A basic parser for ELB access logs, strongly inspired by node-clf-parser https://github.com/jfhbrook/node-clf-parser☆11Aug 3, 2018Updated 7 years ago
- Scripts for Internet Archive☆14Mar 26, 2025Updated 11 months ago