Ptyxis

A GNOME terminal emulator.

ToolDev toolsterminal-emulatorgnomelinux

Recommended in 0 threads

foot Dev tools
A lightweight Wayland terminal emulator.
1 thread
kitty ↗Dev tools
A GPU-accelerated, programmable terminal emulator.
1 thread
Fish Dev tools
A user-friendly interactive Unix shell.
1 thread
Windows Terminal ↗Dev tools
Microsoft's modern tabbed terminal emulator for Windows.
1 thread
pyxis ↗Dev tools
A compiler that generates Rust types matching C++ memory layouts.
1 thread
zmx ↗Dev tools
A terminal session persister supporting detach/attach, panes and tabs.
1 thread
Ghostty Dev tools
A terminal emulator with a native UI per platform on top of a shared core.
1 thread
Blink Shell Dev tools
A terminal emulator and SSH/Mosh client for iOS.
1 thread

Pi ↗
An extensible terminal coding agent that can switch between models.
4 threads
F-Droid
An app store distributing free and open-source Android apps.
3 threads
Claude Code
Anthropic's terminal-based coding agent harness.
2 threads
Collie ↗
A mobile interface to desktop agent sessions via tmux, zellij or herdr.
2 threads
Forgejo
A self-hostable community-driven software forge.
2 threads
OpenCode
An open-source terminal coding agent harness.
2 threads
OrbStack
A macOS app for running Docker containers and Linux VMs.
2 threads
Playwright
A browser automation framework for end-to-end testing.
2 threads
lossy-git ↗
A toy version control system that stores code by training a neural network and reconstructs it on checkout.
2 threads
uv
Fast Python package and project manager.
2 threads
Aeneas ↗
A toolchain that translates safe Rust programs into proof assistants like Lean for verification.
1 thread
Alloy ↗
A lightweight formal modeling language and analyzer for software designs.
1 thread