CLI tool for Markdown files, offering formatting, AI-powered reviews, linting, spell checking, and link checking to streamline your Markdown workflow

command-line grammar checker

A command-line tool for spellchecking files.

A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.

📚 Collaborative cheatsheets for console commands

carl is a calendar for the commandline. It tries to mimic the various cal(1) implementations out there, but also adds enhanced features like colors and ical support.

🤖 CLI tool to help you manage repositories

An interactive cheatsheet tool for the command-line

no toxic names anymore

Tree command, improved.

Cozy typing speed tester in terminal

Friendly and fast tool for sending HTTP requests

Hurl, run and test HTTP requests with plain text.

Debugger for Sed: demystify and debug your sed scripts, from comfort of your terminal.

Arbitrary-precision unit-aware calculator

A simple API client (postman like) in your terminal

get to your bookmarks in a flash

Easily and securely send things from one computer to another 🐊 📦

Library and command-line utility for rendering projects templates.

A self-hostable bookmark-everything app (links, notes and images) with AI-based automatic tagging and full text search

⛑ Automated developer-oriented status page

A high-performance, zero-overhead, extensible Python compiler with built-in NumPy support

Generate impressive-looking terminal output to look busy when stakeholders walk by

A scrollable-tiling Wayland compositor.

Scrollable tiling Kwin script

A themeable LS_COLORS generator with a rich filetype datebase

An implementation of numbered theorem environments in typst

Termux - a terminal emulator application for Android OS extendible by variety of packages.

Convert strings (and dictionary keys) between snake case, camel case and pascal case in Python. Inspired by Humps for Node

ASCII transliterations of Unicode text - GitHub mirror