Java Bindings for Clingo: A grounder and solver for logic programs

The Vampire Theorem Prover

Embedding Rust in Java

👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.

List of projects that provide terminal user interfaces

Modern C++ Programming Course (C++03/11/14/17/20/23/26)

PDF++: the most Obsidian-native PDF annotation & viewing tool ever. Comes with optional Vim keybindings.

pyiron - an integrated development environment (IDE) for computational materials science.

react xyflow for pyiron

📚 Japanese and Chinese dictionaries for Yomitan.

An extremely fast Python package and project manager, written in Rust.

Tool for automated generation of computational workflows.

Data Science Ontology, ASP Variant, Experiment Scripts, and Results.

sc-im - Spreadsheet Calculator Improvised -- An ncurses spreadsheet program for terminal

💊 Qualitative and quantitative optimization in answer set programming

Tool to copy playlists from one YT Music account to another.

Solve puzzles. Learn CUDA.

Work with remote hosts seamlessly. Code local, build / execute commands remotely

A list of awesome resources for zellij

Tool for remote builds. Sync project to remote machine, execute command, sync back.

The largest Awesome Curated list of command line programs (CLI/TUI) with source data organized into CSV files

Static checker for GitHub Actions workflow files

macOS and Linux VMs on Apple Silicon to use in CI and other automations

Automatically exported from code.google.com/p/baposter

CLI to manage emails

A terminal-based presentation tool with colors and effects.

Google Gemini CLI with Rust (Previsouly Bard)

A graphical pdf and epub reader that works inside the kitty terminal