Bibliotecas escritas em OCaml

redtt

"Entre a escuridão e o amanhecer, surge um cubo vermelho!": um assistente de prova para a teoria dos tipos cúbicos cartesianos.
  • 194
  • Apache License 2.0

FaCT

Linguagem de programação de tempo flexível e constante.
  • 190
  • BSD 3-clause "New" or "Revised"

async

Biblioteca de execução assíncrona da Jane Street Capital (por janestreet).
  • 182
  • MIT

ocaml5-tutorial

Um tutorial prático sobre os novos recursos de paralelismo no OCaml 5.
  • 182
  • MIT

morbig

Um analisador estático para POSIX Shell.
  • 181
  • GNU General Public License v3.0

C11parser

Um analisador C89/C90/C99/C11/C18 correto escrito usando Menhir e OCaml.
  • 174
  • GNU General Public License v3.0

patoline

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

dometyl-keyboard

Um gerador paramétrico para projetar teclados divididos, côncavos e ergonômicos escritos em ocaml..
  • 170
  • GNU Affero General Public License v3.0

drom

drom é um wrapper sobre opam/dune em uma tentativa de fornecer uma experiência de usuário semelhante a carga. Ele pode ser usado para criar projetos OCaml completos com documentação sphinx e odoc. Possui conhecimento específico do Github e irá gerar arquivos para Github Actions CI e páginas do Github.
  • 165
  • GNU General Public License v3.0

mlang

Compilador para a linguagem M, usado para calcular o imposto de renda dos contribuintes franceses.
  • 160
  • GNU General Public License v3.0 only

lablqml

Interface Qt/QML com OCaml. Anteriormente conhecido como lablqt.
  • 158
  • GNU Lesser General Public License v3.0 only

supermin

ferramenta para criar aparelhos supermin (anteriormente chamado febootstrap). POR FAVOR, NÃO USE O GITHUB PARA PROBLEMAS OU PULL SOLICITAÇÕES. Consulte o site para saber como registrar um bug ou entre em contato conosco. http://libguestfs.org.
  • 155
  • GNU General Public License v3.0 only

pyml

Ligações OCaml para Python.
  • 154
  • BSD 2-clause "Simplified"

domainslib

Programação Paralela sobre Domínios.
  • 144
  • ISC

sexplib

Conversão automática de expressão S.
  • 141
  • MIT

postgresql-ocaml

OCaml-bindings para o banco de dados PostgreSQL.
  • 138
  • GNU General Public License v3.0

jsoo-react

ligações js_of_ocaml para ReactJS. Baseado em ReasonReact..
  • 136
  • MIT

preface

Preface é uma biblioteca opinativa projetada para facilitar o manuseio de idiomas de programação funcional recorrentes em OCaml..
  • 132
  • MIT

reagents

Reagentes para OCaml multicore.
  • 126
  • ISC

opam-monorepo

Monte espaços de trabalho de dunas para construir seu projeto e suas dependências como um todo.
  • 126
  • ISC

ocurrent

Mantém as coisas atualizadas (um pipeline CI/CD OCaml eDSL).
  • 125
  • Apache License 2.0

flitter

Um timer split speedrunning inspirado em Livesplit para terminal Linux/macOS. Suporta teclas de atalho globais. (por alexozer).
  • 124
  • MIT

stanc3

O transpiler Stan (de Stan para C++ e além)..
  • 120
  • BSD 3-clause "New" or "Revised"

zbg

✨Zero besteira idiota.
  • 116
  • Mozilla Public License 2.0

lua-ml

Um interpretador Lua 2.5 embutido implementado em OCaml.
  • 116
  • BSD 2-clause "Simplified"

nice-parser

Analisadores agradáveis ​​em OCaml sem o clichê.
  • 115
  • MIT

coq-serapi

Coq Protocol Playground com Se(xp)rialização de Estruturas Internas..
  • 114
  • GNU General Public License v3.0

streaming

Abstrações de streaming rápidas, seguras e combináveis. (por odis-labs).
  • 105
  • ISC

sqlite3-ocaml

Ligações OCaml ao banco de dados SQLite3.
  • 104
  • GNU General Public License v3.0

iter

Tipo de dados abstrato iterador simples, destinado a iterar com eficiência em coleções enquanto executa algumas transformações. (por c-cubo).
  • 102
  • BSD 2-clause "Simplified"