Jannis Weis

Apollo-Reborn. iOS tweak for Apollo Reddit app - use your own API keys, unlocked Ultra features, and other enhancements

vscode-ltex. LTeX: Grammar/spell checker :mag::heavy_check_mark: for VS Code using LanguageTool with support for LaTeX :mortar_board:, Markdown :pencil:, and others

hanabi-bot. A bot that plays on the hanab.live interface.

mutube. Remove ads and add SponsorBlock on Apple TV.

QLCodec. Quick Look Previewer extension to 'quicklook-play' every video and audio formats not natively supported by macOS.

Telegram-iOS. Supercharged Telegram fork for iOS from original creator of Nicegram

YTLitePlus. ⚠️ DEPRECATED — DEAD for now as YTPlus is now paid.

google-drive-upload. Github Action for Google Drive uploads

Ice. Powerful menu bar manager for macOS

xmlgraphics-batik. Apache XML Graphics Batik

nutrimatic. The source behind nutrimatic.org.

MediaMate-Releases.

Swiftcord. A fully native Discord client for macOS built 100% in Swift!

JSVG. Javascript Vector Graphics library for generative art

jsvg.js. a jQuery Plugin that gives jQuery support for interacting with SVG DOMs

HiddenBar. An ultra-light MacOS utility that helps hide menu bar icons

jsvg. Java SVG renderer

auto-dark-mode. IDEA plugin to automatically apply system theme settings on Linux, macOS and Windows.

Maccy. Lightweight clipboard manager for macOS

KeyCluCask. A simple and handy overview of application shortcuts

LaTeX-Utilities. An add-on to LaTeX Workshop that provides some features that go beyond the bare essentials

jdatauri. Simple and well tested one file Java data URI parser

deobfuscator-gui. An awesome GUI for an awesome deobfuscator

svgSalamander. SVG Salamander - SVG engine for Java

badass-jlink-plugin. Create a custom runtime image of your modular application

serenity. The Serenity Operating System 🐞

lean4. Lean 4 programming language and theorem prover

tba-2021. Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition

ega. amateur translation project of Grothendieck's EGA.

quiver. A modern commutative diagram editor for the web.

darklaf. Darklaf - A themeable swing Look and Feel based on Darcula-Laf

SimulIDE. SimulIDE is a simple real-time electronic circuit simulator

MyLibreLab. MyLibreLab is a desktop visual programming environment for controlling and communicating with microcontrollers and microprocessors.

awesome-swing. A list of frameworks, libraries and software for the Java Swing GUI toolkit.

gradle-native. The home of anything about Gradle support for natively compiled languages

svgSalamander. Java

vlsi-release-plugins. A set of plugins to simplify Gradle release tasks

FlatLaf. FlatLaf - Swing Look and Feel (with Darcula/IntelliJ themes support)

AutoComplete. A code completion library for Swing text components, with special support for RSyntaxTextArea.

RSyntaxTextArea. A syntax highlighting, code folding text editor for Java Swing applications.

SystemTray. Cross-platform SystemTray support for Swing/AWT, macOS, GtkStatusIcon, and AppIndicator on Java 8+

native-utils. A simple library class which helps with loading dynamic JNI libraries stored in the JAR archive

Java. All Algorithms implemented in Java

CenterTaskbar. Center Windows Taskbar Icons

TranslucentTB. A lightweight utility that makes the Windows taskbar translucent/transparent.

SmartTaskbar. A lightweight utility which can automatically switch the display state of the Windows Taskbar.

audio-band. Display and control songs from the Windows taskbar

WinDynamicDesktop. Port of macOS Mojave Dynamic Desktop feature to Windows