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

infer

Um analisador estático para Java, C, C++ e Objective-C.
  • 14.2k
  • 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

pyre-check

Verificação de tipo de desempenho para python..
  • 6.4k
  • MIT

rescript-compiler

O compilador para ReScript..
  • 6.2k
  • GNU General Public License v3.0

google-drive-ocamlfuse

Sistema de arquivos FUSE no Google Drive.
  • 5.1k
  • MIT

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

Batsh

Uma linguagem que compila para Bash e Windows Batch.
  • 4.2k

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

mirage

MirageOS é um sistema operacional de biblioteca que constrói unikernels.
  • 2.2k
  • ISC

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

bap

Plataforma de análise binária.
  • 1.9k
  • MIT

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

merlin

Conclusão sensível ao contexto para OCaml no Vim e Emacs.
  • 1.5k
  • MIT

dune

Um sistema de compilação combinável para OCaml..
  • 1.4k
  • MIT

plzoo

Zoológico de Linguagens de Programação.
  • 1.3k
  • MIT

dream

Estrutura da Web organizada e completa.
  • 1.2k
  • MIT

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

book

V2 do Real World OCaml (por realworldocaml).
  • 1.1k
  • GNU General Public License v3.0

owl

Owl - OCaml Scientific Computing @ http://ocaml.xyz.
  • 1.1k
  • MIT

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

js_of_ocaml

Compilador de OCaml para Javascript..
  • 853
  • GNU General Public License v3.0