OCaml

Análisis estático ligero para muchos lenguajes. Encuentra variantes de errores con patrones que parecen código fuente.

Un analizador estático para Java, C, C++ y Objective-C

Código simple, rápido y seguro de tipos que aprovecha los ecosistemas de JavaScript y OCaml

El sistema central de OCaml: compiladores, sistema de tiempo de ejecución y bibliotecas base

magic-trace recopila y muestra trazas de alta resolución de lo que está haciendo un proceso

Sistema de archivos FUSE sobre Google Drive

The Rocq Prover es un demostrador de teoremas interactivo o asistente de pruebas. Proporciona un lenguaje formal para escribir definiciones matemáticas, algoritmos ejecutables y teoremas, junto con un entorno para el desarrollo semiinteractivo de pruebas verificadas por máquina.

Sincronizador de archivos Unison

🔎 Motor de análisis de código estático para encontrar problemas de seguridad en el código.

MirageOS es un sistema operativo de biblioteca que construye unikernels

Una herramienta de reescritura de código para búsqueda y reemplazo estructural compatible con casi todos los lenguajes.

Repositorio público de pasantías cuantitativas, mantenido por NUFT y disponible para todos

Lenguaje de programación para la especificación de leyes mediante programación literaria

Plataforma de análisis binario

Mina es un protocolo de criptomonedas con una cadena de bloques de tamaño constante, que mejora la escalabilidad manteniendo la descentralización y la seguridad.

Irmin es una base de datos distribuida que sigue los mismos principios de diseño que Git.

Un sistema de compilación componible para OCaml.

Marco web ordenado y completo en funciones

Analizador estático de código binario, con integración en IDA. Realiza análisis de valores y de flujo de datos (taint analysis), reconstrucción de tipos y detección de use-after-free y double-free

Liquidsoap es un lenguaje de script de propósito general con tipado estático, que cuenta con operadores dedicados y un backend para todo lo relacionado con medios, streaming, generación de archivos, automatización, backend HTTP y más.

Autocompletado sensible al contexto para OCaml en Vim y Emacs.

Zoológico de lenguajes de programación.

Lenguaje de sistemas con tipos lineales y seguridad basada en capacidades.

Una biblioteca para cálculos incrementales.

Una librería para construir aplicaciones web dinámicas usando Js_of_ocaml

opam es un gestor de paquetes basado en código fuente. Soporta múltiples instalaciones simultáneas de compiladores, restricciones de paquetes flexibles y un flujo de trabajo de desarrollo compatible con Git.

Owl - Computación científica en OCaml @ https://ocaml.xyz

Superposición de la biblioteca estándar de Jane Street Capital.

Terraform sin el cuello de botella del archivo de estado

Versión 2 de Real World OCaml