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
C11parser
Um analisador C89/C90/C99/C11/C18 correto escrito usando Menhir e OCaml.
- 174
- GNU General Public License v3.0
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
postgresql-ocaml
OCaml-bindings para o banco de dados PostgreSQL.
- 138
- GNU General Public License v3.0
preface
Preface é uma biblioteca opinativa projetada para facilitar o manuseio de idiomas de programação funcional recorrentes em OCaml..
- 132
- MIT
opam-monorepo
Monte espaços de trabalho de dunas para construir seu projeto e suas dependências como um todo.
- 126
- ISC
flitter
Um timer split speedrunning inspirado em Livesplit para terminal Linux/macOS. Suporta teclas de atalho globais. (por alexozer).
- 124
- MIT
coq-serapi
Coq Protocol Playground com Se(xp)rialização de Estruturas Internas..
- 114
- 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"