weisJ

Java

All Algorithms implemented in Java

serenity

The Serenity Operating System 🐞

TranslucentTB

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

WinDynamicDesktop

Port of macOS Mojave Dynamic Desktop feature to Windows 10

lean4

Lean 4 programming language and theorem prover

FlatLaf

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

quiver

A modern commutative diagram editor for the web.

SmartTaskbar

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

RSyntaxTextArea

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

CenterTaskbar

Center Windows Taskbar Icons

audio-band

Display and control songs from the Windows taskbar

awesome-swing

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

LaTeX-Utilities

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

darklaf

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

SystemTray

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

badass-jlink-plugin

Create a custom runtime image of your modular application

deobfuscator-gui

An awesome GUI for an awesome deobfuscator

ega

amateur translation project of Grothendieck's EGA.

native-utils

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

SimulIDE

SimulIDE is a simple real-time electronic circuit simulator

HO

Assistant for Hattrick online football manager

AutoComplete

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

svgSalamander

tba-2021

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

gradle-native

The home of anything about Gradle support for natively compiled languages

vlsi-release-plugins

A set of plugins to simplify Gradle release tasks

MyLibreLab

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

svgSalamander

SVG Salamander - SVG engine for Java

jdatauri

Simple and well tested one file Java data URI parser

MIMA-Interpreter

simple (semi-functional) interpreter for the pseudo assembly language used by the "Mima"