EXPLORAR · DEVELOPMENT
Desenvolvimento
22.646 pacotes em Desenvolvimento
Implementação alternativa de LAZ para C++ e JavaScript
codex
TUI simples para comandos Git
codex
TUI para Jujutsu/jj
codex
Compilador C pequeno e rápido
codex
Interpretador lolcode 1.2 simples e rápido escrito em C
codex
Comunicações e marshalling leves
codex
Interface CLI para lua-lcmark
codex
Interface CLI para lua-lcmark
codex
Motor pequeno de gerenciamento de cores, versão 2
codex
Interface para a ferramenta de cobertura gcov do GCC
codex
Snapshot mais recente do lcov, uma interface para a ferramenta de teste de cobertura gco…
codex
SDK Java LDAP da Mozilla
codex
API e banco de dados sem esquema, semelhante a LDAP
codex
Compilador D baseado em LLVM com runtime D e libphobos2
codex
Compilador D baseado na infraestrutura de compilador LLVM, incluindo runtime D e libphob…
codex
Wrapper sobre ldd que produz saída em formato Graphviz
codex
Ferramentas para redirecionar stdin para comandos diferentes conforme a linguagem detect…
codex
Coloca assinaturas reais ou falsas em binários Darwin - fork Procursus
codex
Sistema de geração de documentação compatível com LuaDoc
codex
Linguagem inspirada em COBOL, projetada para ser expressiva, rápida, legível e fácil de …
codex
Ferramenta proxy para linker
codex
IDE para a linguagem Lua. Plugin Eclipse independente
codex
Editor de fases 2D moderno e eficiente com forte foco em facilidade de uso
codex
Linguagem de programação Lean 4 e provador de teoremas
codex
Provador de teoremas Lean
codex
Provador de teoremas interativo
codex
Provador de teoremas interativo
codex
Ferramenta de linha de comando LeanCloud
codex
Provador de teoremas Lean, mantido pela comunidade Lean
codex
Transforma código Lean em um jogo interativo de navegador
codex