BROWSE · DEVELOPMENT
Development
22,646 packages in Development
A powerful meta-prompting, context engineering and spec-driven development system that e…
codex
Simple image viewer widget for GTK2
codex
A dedicated scratchpad for developers
codex
Simple library for communicating with USB and Bluetooth HID devices with hotplug support
codex
Hybrid Development Environment Manager — manage local dev services with a native GUI
codex
A generic proof assistant. It allows mathematical formulas to be expressed in a formal l…
codex
Feature-rich interactive Jira command line.
codex
TUI for managing .env files
codex
Port of Facebook's LLaMA model in C/C++ (Vulkan, Gemma 4 model fixes)
codex
A llama-server command centre
codex
An all-in-one, batteries included LLM CLI tool
codex
GCC 15.2.0 cross-compiler toolchain for Amiga m68k-amigaos with full C/C++ runtime
codex
A terminal-native tool that integrates static analysis with dynamic execution tracing fo…
codex
Cross-debugger server for Win32 and Win64 using MinGW-w64 extracted from Debian package
codex
NanoEdge AI in your MCU
codex
A tier-aware package manager for Arch Linux — pacman with a safety net, written in Rust
codex
One interface for all your Claude Code, Codex and OpenCode agents.
codex
Extended processing of command line options
codex
PHP. A general-purpose scripting language that is especially suited to web development
codex
bcmath module for php84
codex
bz2 module for php84
codex
calendar module for php84
codex
cli (command-line executable) version for php84
codex
ctype module for php84
codex
dba module for php84
codex
pdo_dblib module for php84
codex
dom module for php84
codex
Embedded PHP SAPI library for php84
codex
enchant module for php84
codex
exif module for php84
codex