Kubikola

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

Drivers for Wacom devices.

insect is a high precision scientific calculator with full support for physical units.

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.

File is a command-line tool that tells you in words what kind of data a file contains.

Drivers & Logitech Profiler for older Logitech devices.

Drivers & Logicool Profiler for older Logicool devices.

NetLimiter is an ultimate internet traffic control and monitoring tool.

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.

Z3 is a theorem prover from Microsoft Research.

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

cheat allows you to create and view interactive cheatsheets on the commandline.

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

🔍Ultra fast grep with interactive query UI and fuzzy search.

Terminal user interface for SSH.

PDFtk is a toolkit for manipulating PDF documents.

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.

Comic-dl is a command line tool to search and download Comics and Manga easily.

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.

SACAD is a multi platform command line tool to download album covers without manual intervention.

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.

Anki is a friendly, intelligent flashcard program which makes remembering things easy.

Commandline tool to extract user info from a domain or computer.

Cross-platform desktop client for filen.io

ddh is a generic hasher that comes with more features than built-in OS utilities.

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.

Typesets graphs to be processed by the pic command.

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

Universal manga downloader (for your offline reading)

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.

Groff (GNU troff) is a typesetting system that reads plain text mixed with formatting commands and produces formatted output.

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.

Windows port of the flip utility, which converts newline format between Unix LF and DOS/Windows CR-LF conventions.

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

xxd - make a hexdump or do the reverse

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

Custom SSH server written in Go. Instead of a shell, you get a chat prompt.

Command line tool to edit resources of exe file on Windows.

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

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.

A cross-platform, command-line note app.

Commandline tool to silently launch a process.

Commandline tool to lock the desktop immediately.

🍓 Strawberry is a music player and music collection organizer is aimed at music collectors and audiophiles.

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

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.

Dualiza a model counter, model enumerator and SAT solver. It works with DIMACS and AIGER files as well as plain formulas.

Download extensions and themes directly from within Spicetify.

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.

A minimal, fast alternative to du -sh.

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

Steghide is a steganography program that is able to hide data in various kinds of image and audio files.

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

A simple DNS proxy server that supports all existing DNS protocols including DNS-over-TLS, DNS-over-HTTPS, DNSCrypt, and DNS-over-QUIC

Desktop app for anime fans.

ddhx is a quick and dirty TUI hexadecimal file viewer.

Utility to spindown ununsed HDDs

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.

A terminal based Matrix client written in Go.

A Spotify client for the terminal written in Rust.

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

mairix is a program for indexing and searching email messages stored in Maildir, MH, MMDF or mbox folders.

ddcpuid is a x86 processor information tool.

ggf is a small, lazily-written, df-like Windows disk information tool.

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

A Password Recovery Tool for PDF-files.

Friendly and fast tool for sending HTTP requests.

hexyl is a simple hex viewer for the terminal. It uses a colored output to distinguish different categories of bytes.

Command line utility to display date/time.