TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Tcell is an alternate terminal package, similar in some ways to termbox, but better in others.

CLI tool and python library that converts the output of popular command-line tools, file-types, and common strings to JSON, YAML, or Dictionaries. This allows piping of output to tools like jq and …

A terminal UI for tshark, inspired by Wireshark

dump your fits

SAOImage DS9 is an astronomical imaging and data visualization application.

Notepad4 (Notepad2⨯2, Notepad2++) is a light-weight Scintilla based text editor for Windows with syntax highlighting, code folding, auto-completion and API list for many programming languages and d…

[CVPR 2025] Official repository for "From Poses to Identity: Training-Free Person Re-Identification via Feature Centralization"

A powerful expression-based calculator, unit converter, and general computation engine for Android

Like jq, but for HTML.

User-friendly AI Interface (Supports Ollama, OpenAI API, ...)

The official formatter for Nix code

The Hy Transformer

The Orion Electron Editor

Simple extensive tar-like archive format with indexing

the best vscode extension boilerplate 🚀🚀🚀

Moved to https://git.jeffas.net

The Python micro framework for building web applications.

GG - Gui for JJ

The XApp website

Utility to retrieve files from a git repository

Open source comprehensive 2D content creation tool suite for graphic design, digital art, and interactive real-time motion graphics — featuring node-based procedural editing

XLibre Xserver

blingful character graphics/TUI library. definitely not curses.

DOSBox-X fork of the DOSBox project

sc Spreadsheet Calculator

Enhanced version of dd for forensics and security

A powerful little TUI framework 🏗

A git diff pager based on delta but with a file tree, à la GitHub.