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
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
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
magic-trace
magic-trace recopila y muestra rastros de alta resolución de lo que está haciendo un proceso.
- 4.1k
- MIT
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
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
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
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
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