BROWSE · DEVELOPMENT
Development
22,646 packages in Development
Simple terminal UI for git commands
codex
TUI for Jujutsu/jj
codex
A small and fast C compiler.
codex
A simple and fast 1.2 lolcode interpreter written in C.
codex
Lightweight Communications and Marshalling
codex
CLI interface for lua-lcmark
codex
CLI interface for lua-lcmark
codex
Small-footprint color management engine, version 2
codex
front-end for GCC’s coverage testing tool gcov
codex
Latest snapshot of lcov, a front-end for GCC's coverage testing tool gcov
codex
The Mozilla LDAP Java SDK
codex
Schema-less, ldap like, API and database
codex
A D Compiler based on the LLVM Compiler Infrastructure including D runtime and libphobos2
codex
A D Compiler based on the LLVM Compiler Infrastructure including D runtime and libphobos2
codex
A wrapper over ldd, which produces output in Graphviz format.
codex
Tools to redirect stdin on different commands according to detected language
codex
Put real or fake signatures in Darwin binaries - Procursus fork
codex
LuaDoc-compatible documentation generation system
codex
COBOL inspired language, designed to be expressive, fast, readable and easy to learn.
codex
A linker proxy tool
codex
IDE for lua language. Standalone eclipse plugin.
codex
Modern and efficient 2D level editor with a strong focus on user-friendliness
codex
Lean 4 programming language and theorem prover
codex
Lean Theorem Prover
codex
An interactive theorem prover
codex
An interactive theorem prover
codex
LeanCloud command line tool
codex
Lean Theorem Prover, maintained by the Lean community
codex
Turns lean code into an interactive browser game
codex
Language Server Protocol implementation for the Lean theorem prover, version 3
codex