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
C11parser
Un analizador C89/C90/C99/C11/C18 correcto escrito con Menhir y OCaml.
- 174
- GNU General Public License v3.0
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
postgresql-ocaml
Enlaces OCaml para la base de datos PostgreSQL.
- 138
- GNU General Public License v3.0
preface
Prefacio es una biblioteca obstinada diseñada para facilitar el manejo de lenguajes de programación funcional recurrentes en OCaml.
- 132
- MIT
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
coq-serapi
Coq Protocol Playground con serialización de estructuras internas.
- 114
- 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"