Bibliotecas escritas em OCaml
flow
Adiciona tipagem estática ao JavaScript para melhorar a produtividade do desenvolvedor e a qualidade do código.
- 22.0k
- MIT
reason
Código simples, rápido e seguro de digitação que aproveita os ecossistemas JavaScript e OCaml.
- 9.9k
- MIT
semgrep
Análise estática leve para vários idiomas. Encontre variantes de bug com padrões que se parecem com o código-fonte.
- 8.5k
- GNU Lesser General Public License v3.0 only
ocaml
O núcleo do sistema OCaml: compiladores, sistema de tempo de execução, bibliotecas básicas.
- 4.6k
- GNU General Public License v3.0
coq
Coq é um sistema formal de gerenciamento de provas. Ele fornece uma linguagem formal para escrever definições matemáticas, algoritmos executáveis e teoremas, juntamente com um ambiente para desenvolvimento semi-interativo de provas verificadas por máquina.
- 4.3k
- GNU Lesser General Public License v3.0 only
magic-trace
magic-trace coleta e exibe traços de alta resolução do que um processo está fazendo.
- 4.1k
- MIT
unison
Sincronizador de arquivos uníssono (por bcpierce00).
- 3.1k
- GNU General Public License v3.0 only
pfff
Ferramentas para análise de código, visualizações ou transformação de origem com preservação de estilo.
- 2.4k
- GNU General Public License v3.0
comby
Uma ferramenta de reescrita de código para pesquisa estrutural e substituição que suporta ~todas as linguagens.
- 2.1k
- Apache License 2.0
mina
Mina é uma nova criptomoeda com um blockchain de tamanho constante, melhorando o dimensionamento enquanto mantém a descentralização e a segurança. (por MinaProtocol).
- 1.8k
- Apache License 2.0
bincat
Analisador estático de código binário, com integração IDA. Executa análise de valor e contaminação, reconstrução de tipo, detecção de uso após liberação e liberação dupla.
- 1.5k
opam
opam é um gerenciador de pacotes baseado em fonte. Ele oferece suporte a várias instalações simultâneas de compiladores, restrições de pacote flexíveis e um fluxo de trabalho de desenvolvimento compatível com Git.
- 1.1k
- GNU General Public License v3.0
SATySFi
Um sistema de composição tipográfica funcional e estaticamente digitado.
- 1.1k
- GNU Lesser General Public License v3.0 only
vpnkit
Um kit de ferramentas para incorporar recursos de VPN em seu aplicativo.
- 1.0k
- Apache License 2.0
catala
Linguagem de programação para especificação de leis de programação alfabetizadas.
- 995
- Apache License 2.0
caramel
:candy: uma linguagem funcional para construir aplicações seguras, escaláveis e de fácil manutenção.
- 995
- Apache License 2.0