Bibliotecas escritas en OCaml

flow

Agrega escritura estática a JavaScript para mejorar la productividad del desarrollador y la calidad del código.
  • 22.0k
  • MIT

infer

Un analizador estático para Java, C, C++ y Objective-C.
  • 14.2k
  • MIT

reason

Código simple, rápido y seguro que aprovecha los ecosistemas de JavaScript y OCaml.
  • 9.9k
  • MIT

semgrep

Análisis estático ligero para muchos idiomas. Encuentre variantes de errores con patrones que parezcan código fuente.
  • 8.5k
  • GNU Lesser General Public License v3.0 only

pyre-check

Comprobación de tipo eficaz para python..
  • 6.4k
  • MIT

rescript-compiler

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

google-drive-ocamlfuse

Sistema de archivos FUSE sobre Google Drive.
  • 5.1k
  • MIT

ocaml

El sistema central de OCaml: compiladores, sistema de tiempo de ejecución, bibliotecas base.
  • 4.6k
  • GNU General Public License v3.0

coq

Coq es un sistema de gestión de prueba formal. Proporciona un lenguaje formal para escribir definiciones matemáticas, algoritmos ejecutables y teoremas junto con un entorno para el desarrollo semi-interactivo de pruebas verificadas por máquina.
  • 4.3k
  • GNU Lesser General Public License v3.0 only

Batsh

Un lenguaje que compila en Bash y Windows Batch.
  • 4.2k

magic-trace

magic-trace recopila y muestra rastros de alta resolución de lo que está haciendo un proceso.
  • 4.1k
  • MIT

unison

Sincronizador de archivos Unison (por bcpierce00).
  • 3.1k
  • GNU General Public License v3.0 only

pfff

Herramientas para análisis de código, visualizaciones o transformación de código fuente que conserva el estilo.
  • 2.4k
  • GNU General Public License v3.0

mirage

MirageOS es un sistema operativo de biblioteca que construye unikernels.
  • 2.2k
  • ISC

comby

Una herramienta de reescritura de código para búsqueda y reemplazo estructural que admite ~ todos los idiomas.
  • 2.1k
  • Apache License 2.0

bap

Plataforma de Análisis Binario.
  • 1.9k
  • MIT

mina

Mina es una nueva criptomoneda con una cadena de bloques de tamaño constante, que mejora el escalado y mantiene la descentralización y la seguridad. (por MinaProtocol).
  • 1.8k
  • Apache License 2.0

bincat

Analizador estático de código binario, con integración IDA. Realiza análisis de valor y contaminación, reconstrucción de tipo, detección de uso después de liberación y de doble liberación.
  • 1.5k

merlin

Finalización sensible al contexto para OCaml en Vim y Emacs.
  • 1.5k
  • MIT

dune

Un sistema de compilación componible para OCaml..
  • 1.4k
  • MIT

plzoo

Zoológico de lenguajes de programación.
  • 1.3k
  • MIT

dream

Marco web ordenado y con funciones completas.
  • 1.2k
  • MIT

opam

opam es un administrador de paquetes basado en código fuente. Admite múltiples instalaciones simultáneas de compiladores, restricciones de paquetes flexibles y un flujo de trabajo de desarrollo compatible con Git.
  • 1.1k
  • GNU General Public License v3.0

book

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

owl

Búho - Computación científica OCaml @ http://ocaml.xyz.
  • 1.1k
  • MIT

SATySFi

Un sistema de composición tipográfica funcional y estático.
  • 1.1k
  • GNU Lesser General Public License v3.0 only

vpnkit

Un conjunto de herramientas para incorporar capacidades de VPN en su aplicación.
  • 1.0k
  • Apache License 2.0

catala

Lenguaje de programación para la especificación de leyes de programación letrada.
  • 995
  • Apache License 2.0

caramel

:candy: un lenguaje funcional para construir aplicaciones de tipo seguro, escalables y mantenibles.
  • 995
  • Apache License 2.0

js_of_ocaml

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