Bibliotecas escritas en OCaml

redtt

"¡Entre la oscuridad y el amanecer, se eleva un cubo rojo!": un asistente de prueba para la teoría del tipo cúbico cartesiano.
  • 194
  • Apache License 2.0

FaCT

Lenguaje de programación flexible y de tiempo constante.
  • 190
  • BSD 3-clause "New" or "Revised"

async

Biblioteca de ejecución asincrónica de Jane Street Capital (por janestreet).
  • 182
  • MIT

ocaml5-tutorial

Un tutorial práctico sobre las nuevas funciones de paralelismo en OCaml 5.
  • 182
  • MIT

morbig

Un analizador estático para POSIX Shell.
  • 181
  • GNU General Public License v3.0

C11parser

Un analizador C89/C90/C99/C11/C18 correcto escrito con Menhir y OCaml.
  • 174
  • GNU General Public License v3.0

patoline

Sistema tipográfico Patoline.
  • 173
  • GNU General Public License v3.0 only

dometyl-keyboard

Un generador paramétrico para diseñar teclados divididos, cóncavos y ergonómicos escritos en ocaml..
  • 170
  • GNU Affero General Public License v3.0

drom

drom es un envoltorio sobre opam/dune en un intento de proporcionar una experiencia de usuario similar a la de un cargo. Se puede usar para crear proyectos completos de OCaml con documentación de sphinx y odoc. Tiene conocimiento específico de Github y generará archivos para Github Actions CI y páginas de Github.
  • 165
  • GNU General Public License v3.0

mlang

Compilador para el lenguaje M, utilizado para calcular el impuesto sobre la renta de los contribuyentes franceses.
  • 160
  • GNU General Public License v3.0 only

lablqml

Interfaz de Qt/QML con OCaml. Anteriormente conocido como lablqt.
  • 158
  • GNU Lesser General Public License v3.0 only

supermin

herramienta para crear dispositivos supermin (anteriormente llamada febootstrap). POR FAVOR, NO USE GITHUB PARA PROBLEMAS O SOLICITUDES DE EXTRAER. Consulte el sitio web para obtener información sobre cómo presentar un error o comuníquese con nosotros. http://libguestfs.org.
  • 155
  • GNU General Public License v3.0 only

pyml

Enlaces OCaml para Python.
  • 154
  • BSD 2-clause "Simplified"

domainslib

Programación Paralela sobre Dominios.
  • 144
  • ISC

sexplib

Conversión automática de expresiones S.
  • 141
  • MIT

postgresql-ocaml

Enlaces OCaml para la base de datos PostgreSQL.
  • 138
  • GNU General Public License v3.0

jsoo-react

Enlaces js_of_ocaml para ReactJS. Basado en ReasonReact..
  • 136
  • MIT

preface

Prefacio es una biblioteca obstinada diseñada para facilitar el manejo de lenguajes de programación funcional recurrentes en OCaml.
  • 132
  • MIT

reagents

Reactivos para multinúcleo OCaml.
  • 126
  • ISC

opam-monorepo

Ensamble espacios de trabajo de dunas para construir su proyecto y sus dependencias como un todo.
  • 126
  • ISC

ocurrent

Mantiene las cosas actualizadas (una canalización de CI/CD OCaml eDSL).
  • 125
  • Apache License 2.0

flitter

Un temporizador dividido speedrunning inspirado en Livesplit para terminal Linux/macOS. Admite teclas de acceso rápido globales. (por alexozer).
  • 124
  • MIT

stanc3

El transpilador de Stan (de Stan a C++ y más allá).
  • 120
  • BSD 3-clause "New" or "Revised"

zbg

✨ Cero gilipolleces.
  • 116
  • Mozilla Public License 2.0

lua-ml

Un intérprete Lua 2.5 integrable implementado en OCaml.
  • 116
  • BSD 2-clause "Simplified"

nice-parser

Buenos analizadores en OCaml sin el repetitivo.
  • 115
  • MIT

coq-serapi

Coq Protocol Playground con serialización de estructuras internas.
  • 114
  • GNU General Public License v3.0

streaming

Abstracciones de transmisión rápidas, seguras y componibles. (por odis-labs).
  • 105
  • ISC

sqlite3-ocaml

Enlaces OCaml a la base de datos SQLite3.
  • 104
  • GNU General Public License v3.0

iter

Tipo de datos abstracto de iterador simple, destinado a iterar de manera eficiente en colecciones mientras realiza algunas transformaciones. (por c-cubo).
  • 102
  • BSD 2-clause "Simplified"