Pular para o conteúdo principal
buildradar
Sign in
Tópico · ocaml

ocaml

Repositórios de código aberto acompanhados marcados com ocaml, ordenados por estrelas.

Repositórios
38
Total de estrelas
92.847
Média de estrelas
2.443
Participação
0,00%

Tópicos que aparecem com frequência ao lado de ocaml no mesmo repositório.

Em ascensão recentemente

Repositórios criados nos últimos 90 dias e marcados com ocaml.

Nenhum repositório novo marcado com este tópico nos últimos 90 dias.

  • PDF não oficial e código-fonte em LaTeX do livro 'Category Theory for Programmers' de Bartosz Milewski

    11.690+9Variação de estrelas nos últimos 7 dias
  • reason@reasonml

    Código simples, rápido e type-safe que aproveita os ecossistemas JavaScript e OCaml

    10.321-2Variação de estrelas nos últimos 7 dias
  • awesomo@lk-geimfari

    Projetos open source interessantes. Escolha seu projeto e comece a contribuir com o desenvolvimento Open Source agora.

    9.932+7Variação de estrelas nos últimos 7 dias
  • ocaml@ocaml

    O sistema central do OCaml: compiladores, sistema de tempo de execução e bibliotecas base

    6.548+11Variação de estrelas nos últimos 7 dias
  • Sistema de arquivos FUSE sobre o Google Drive

    5.964+5Variação de estrelas nos últimos 7 dias
  • extism@extism

    O framework para desenvolvimento com WebAssembly (wasm). Carregue módulos wasm de forma fácil e segura, mova dados, chame funções e crie aplicativos extensíveis.

    5.751+12Variação de estrelas nos últimos 7 dias
  • klipse@viebel

    Klipse é um plugin JavaScript para incorporar trechos de código interativos em blogs técnicos.

    3.134+0Variação de estrelas nos últimos 7 dias
  • awesome-ocaml@ocaml-community

    Uma coleção curada de ferramentas, frameworks, bibliotecas e artigos incríveis sobre OCaml.

    3.112+2Variação de estrelas nos últimos 7 dias
  • FStar@FStarLang

    Uma linguagem de programação orientada a provas.

    3.103+3Variação de estrelas nos últimos 7 dias
  • mirage@mirage

    MirageOS é um sistema operacional de biblioteca que constrói unikernels

    2.982+1Variação de estrelas nos últimos 7 dias
  • bap@BinaryAnalysisPlatform

    Plataforma de Análise Binária

    2.254+1Variação de estrelas nos últimos 7 dias
  • mina@MinaProtocol

    Mina é um protocolo de criptomoeda com uma blockchain de tamanho constante, melhorando a escalabilidade enquanto mantém a descentralização e a segurança.

    2.117+1Variação de estrelas nos últimos 7 dias
  • irmin@mirage

    Irmin é um banco de dados distribuído que segue os mesmos princípios de design do Git

    1.956-1Variação de estrelas nos últimos 7 dias
  • dune@ocaml

    Um sistema de build componível para OCaml.

    1.912+1Variação de estrelas nos últimos 7 dias
  • dream@camlworks

    Framework web organizado e completo em recursos.

    1.879+1Variação de estrelas nos últimos 7 dias
  • merlin@ocaml

    Preenchimento sensível ao contexto para OCaml no Vim e Emacs.

    1.704+0Variação de estrelas nos últimos 7 dias
  • nodebook@netgusto

    Nodebook - REPL web multi-linguagem e executor de código via CLI.

    1.643+0Variação de estrelas nos últimos 7 dias
  • opam@ocaml

    O opam é um gerenciador de pacotes baseado em código-fonte. Ele suporta múltiplas instalações simultâneas de compiladores, restrições flexíveis de pacotes e um fluxo de trabalho de desenvolvimento compatível com Git.

    1.376+0Variação de estrelas nos últimos 7 dias
  • stategraph@stategraph

    Terraform sem o gargalo do arquivo de estado.

    1.279+11Variação de estrelas nos últimos 7 dias
  • SATySFi@gfngfn

    Um sistema de tipografia funcional e estaticamente tipado

    1.247+0Variação de estrelas nos últimos 7 dias
  • hazel@hazelgrove

    Hazel, um ambiente de programação funcional ao vivo com lacunas tipadas (typed holes)

    1.142+2Variação de estrelas nos últimos 7 dias
  • js_of_ocaml@ocsigen

    Compilador de OCaml para Javascript.

    1.130+0Variação de estrelas nos últimos 7 dias
  • aeneas@AeneasVerif

    Uma cadeia de ferramentas de verificação para programas em Rust

    944+8Variação de estrelas nos últimos 7 dias
  • felix@felix-lang

    A Linguagem de Programação Felix

    817+0Variação de estrelas nos últimos 7 dias
  • lwt@ocsigen

    Promises e I/O concorrente em OCaml

    792+1Variação de estrelas nos últimos 7 dias
  • ocaml-cohttp@mirage

    Uma biblioteca OCaml para clientes e servidores HTTP usando Lwt ou Async.

    777+1Variação de estrelas nos últimos 7 dias
  • ocamlformat@ocaml-ppx

    Formatador automático para código OCaml

    730+0Variação de estrelas nos últimos 7 dias
  • eio@ocaml-multicore

    IO de estilo direto baseado em efeitos para OCaml multicore

    722+0Variação de estrelas nos últimos 7 dias
  • angstrom@inhabitedtype

    Combinadores de parsers construídos para velocidade e eficiência de memória

    705+1Variação de estrelas nos últimos 7 dias
  • query-json@davesnx

    Implementação mais rápida, simples e portátil de linguagem inspirada em jq em OCaml

    636+0Variação de estrelas nos últimos 7 dias
← Voltar para os tópicos