EXPLORAR · DEVELOPMENT

Desenvolvimento

22.646 pacotes em Desenvolvimento

idris2-algebra-git 13+

Estruturas algébricas lawful em Idris2

codex

idris2-elab-util-git 13+

Utilitários para reflexão de elaborador em Idris2

codex

idris2-filepath-git 13+

Caminhos de arquivo estilo Unix em Idris2

codex

idris2-getopts-git 13+

Processamento de opções de linha de comando em Idris2

codex

idris2-git 13+

Linguagem de programação puramente funcional com tipos de primeira classe

codex

idris2-lsp-git 13+

Language Server para Idris2

codex

idris2-lsp-lib-git 13+

Biblioteca LSP para Idris2

codex

idris2-pack-git 13+

Gerenciador de pacotes Idris2 com coleções curadas de pacotes

codex

idris2-parser-all-git 13+

Vários parsers totais para Idris2

codex

idris2-parser-git 13+

Lexer e parser totais para Idris2

codex

idris2-prettier-git 13+

Pretty-printer estilo Bernard para Idris2

codex

idris2-refined-git 13+

Tipos de refinamento para Idris2

codex

idris2-sop-git 13+

Representação genérica de tipos de dados como somas de produtos

codex

idris2-toml-idr-git 13+

Parser TOML para Idris 2

codex

ids-peak 13+

SDK moderno e gratuito para câmeras industriais USB3 Vision e GigE Vision compatíveis de…

codex

idutils 13+

Ferramentas independentes de linguagem que indexam identificadores de programa, números …

codex

ietf-idnits 13+

Verifica internet-drafts para problemas de submissão

codex

ifcopenshell 13+

Biblioteca IFC open source e motor geométrico com bibliotecas estáticas, wrapper python3…

codex

ifcopenshell-git 13+

Biblioteca IFC open source e motor geométrico com bibliotecas estáticas, wrapper python3…

codex

igcc 13+

Loop interativo real-eval-print de GCC para programadores C e C++

codex

ignition-cmake 13+

Conjunto de módulos CMake usados por projetos Gazebo baseados em C++

codex

ignition-common 13+

Conjunto de bibliotecas que cobrem muitos casos de uso diferentes

codex

ignition-common-3 13+

Conjunto de bibliotecas que cobrem muitos casos de uso diferentes

codex

ignition-fuel_tools 13+

Biblioteca cliente e ferramentas de linha de comando para interagir com servidores Gazeb…

codex

ignition-fuel_tools-4 13+

Biblioteca cliente e ferramentas de linha de comando para interagir com servidores Gazeb…

codex

ignition-math 13+

Biblioteca matemática de propósito geral para aplicações robóticas

codex

ignition-msgs 13+

Mensagens para simulação robótica Gazebo

codex

ignition-transport 13+

Biblioteca de transporte para comunicação entre componentes baseada em publicação/assina…

codex

ignition-transport-8 13+

Biblioteca de transporte para comunicação entre componentes baseada em publicação/assina…

codex

ignore 0+

Baixa arquivos .gitignore para uma determinada linguagem

codex