BROWSE · DEVELOPMENT
Development
22,646 packages in Development
Dafny is a verification-aware programming language
codex
A free EDA software to develop printed circuit boards
codex
Personal AI assistant supporting Claude, Ollama, and other LLMs - the lobster way
codex
Nix language server
codex
nvi with multibyte support
codex
Diagram as Code for prototyping cloud system architectures
codex
Simple XML editor and XSD viewer
codex
SDK for Zephyr real-time operating system
codex
A memory upgrade for your coding agent (git version)
codex
Path library for C/C++. Cross-Platform for Linux, FreeBSD, Windows and MacOS. Supports U…
codex
A fast batteries-included runtime, combining support for Kotlin, JavaScript, TypeScript,…
codex
The Community Manifest Creator for WinGet
codex
A Modern Linker
codex
Object Tree TUI Viewer
codex
Python SDK for Exa API.
codex
A copy of the imp module that was removed in Python 3.12
codex
Professional text and hex editing with Binary Templates technology
codex
A set of utilities for managing AUR votes
codex
A small CLI tool to detect CPU flags (instruction sets) of X86 binaries (binary release)
codex
clang runtime libraries, trunk version
codex
C language family frontend for LLVM (trimmed down git version)
codex
clang headers & include files for OpenCL, trunk version
codex
Aggegration of ARM Cortex-M CMSIS SVDs and related tools
codex
An open-source, extensible AI agent that goes beyond code suggestions - install, execute…
codex
Tool for stress-testing compilers, static analyzers, and other tools that process C code
codex
Open-source AI agent that brings the power of Gemini directly into your terminal (Live v…
codex
Fast and portable implementation of the ANS Forth language
codex
An interactive CLI for creating conventional commits.
codex
Version checker for software releases written in go.
codex
Test generated HTML for problems
codex