Kubikola

SPIN is a state-of-the-art open-source software verification tool.

Drivers for Wacom devices.

Serious Cross-Platform for Visual Studio!

App to convert comic/manga files to EPUB, Panel View MOBI or E-Ink optimized CBZ.

lp_solve is a Mixed Integer Linear Programming (MILP) solver.

The LPSolve IDE is a very user friendly Windows interface to the lpsolve API. All functionality of lpsolve can be accessed via a graphical and very user friendly application.

The file is a commandline tool that tells you in words what kind of data a file contains.

AMP WinOFF is an utility for scheduling the shutdown of Windows computers, with several shutdown conditions and fully configurable.

AMP WinOFF is an utility for scheduling the shutdown of Windows computers, with several shutdown conditions and fully configurable.

AMP WinOFF is an utility for scheduling the shutdown of Windows computers, with several shutdown conditions and fully configurable.

GLPK is intended for solving large-scale linear programming (LP), mixed integer programming (MIP), and other related problems.

NetLimiter is an ultimate internet traffic control and monitoring tool.

Glucose is award-winning modern SAT Solver heavily based on Minisat with multi-threading support.

VisualKernel integrates Linux kernel debugging into Visual Studio.

Small utility that writes images to memory cards and flash drives.

Small utility that writes images to memory cards and flash drives.

ScanTailor Advanced is the ScanTailor fork that merges the features of the ScanTailor Featured and ScanTailor Enhanced versions, brings new ones and fixes.

A command-line tool to customize Spotify client.

App for efficient learning with powerful digital flashcards.

mp3infp/u is a Shell extension type tag editor.

🛠 A command-line system information utility written in PowerShell. Like Neofetch, but for Windows.

Turn your development board into a logic analyzer!

A cross-platform command-line tool for safely batch renaming files/directories via regular expression.

nuXmv is a new symbolic model checker for the analysis of synchronous finite-state and infinite-state systems.

TClock Light kt is a modified version of TClock Light by K.Takata.

App designed for drawing of electrical and electronic diagrams, schematics, control circuit diagrams and can also be used for pneumatics, hydraulics and other types of technical diagrams.

App designed for drawing of electrical and electronic diagrams, schematics, control circuit diagrams and can also be used for pneumatics, hydraulics and other types of technical diagrams.

App designed for drawing of electrical and electronic diagrams, schematics, control circuit diagrams and can also be used for pneumatics, hydraulics and other types of technical diagrams.

♫ DeaDBeeF (as in 0xDEADBEEF) is a modular audio player.

♫ DeaDBeeF (as in 0xDEADBEEF) is a modular audio player.

♫ DeaDBeeF (as in 0xDEADBEEF) is a modular audio player.

GNU Prolog is a free Prolog compiler with constraint solving over finite domains.

GNU Prolog is a free Prolog compiler with constraint solving over finite domains.

Command-line tools to generate reports from Active Directory (AD).

PaintTool SAI is high quality and lightweight painting software for amazing anti-aliased paintings.

Adds ties after nonsyllabic prepositions (instead of spaces) in the TeX source files. This prevents line breaks at undesirable spaces.

NetLimiter InfoBar is free of charge tool for NetLimiter users, which's purpose is to display most important NetLimiter information directly on system's Taskbar.

A software for digital creation of manga (comics), general illustrations and 2D animations.

A freeware software for setting up 3D materials for use in Clip Studio Paint.

A cross-platform command-line tool for summarizing size of directories and files in directories.

A cross-platform, command-line note app.

Fast audio loudness scanner & tagger (ReplayGain v2 / R128).

A procedural textures authoring and 3D model painting tool based on the Godot game engine.

A procedural textures authoring and 3D model painting tool based on the Godot game engine.

zkanji is a foss study tool and dictionary of the Japanese language.

zkanji is a foss study tool and dictionary of the Japanese language.

zkanji is a foss study tool and dictionary of the Japanese language.

Undark - a SQLite recovery tool for deleted data or corrupt database.

Memento is a FOSS, mpv-based video player for studying Japanese.

Memento is a FOSS, mpv-based video player for studying Japanese.

Memento is a FOSS, mpv-based video player for studying Japanese.

Desktop app for anime fans.

A cross-platform command-line tool for executing jobs in parallel.

Utility to spindown ununsed HDDs

A Spotify client for the terminal written in Rust.

A cross-platform, efficient and practical CSV/TSV toolkit.

A terminal based Matrix client written in Go.

A Password Recovery Tool for PDF-files.

Command line utility to display date/time.

The ReeePlayer application is designed for spaced repetition of fragments (clips) of video and audio files with similar principle as in Anki.

The ReeePlayer application is designed for spaced repetition of fragments (clips) of video and audio files with similar principle as in Anki.