Saltar al contenido principal
buildradar
Sign in
Tema · ocaml

ocaml

Repositorios de código abierto monitorizados etiquetados con ocaml, ordenados por estrellas.

Repositorios
38
Estrellas totales
92.847
Estrellas de media
2443
Proporción
0,00%

Temas que aparecen con frecuencia junto a ocaml en un mismo repositorio.

Emergentes recientes

Repositorios creados en los últimos 90 días, etiquetados con ocaml.

No hay repositorios nuevos con este tema en los últimos 90 días.

  • PDF no oficial y código fuente en LaTeX de 'Category Theory for Programmers' de Bartosz Milewski

    11.690+9Variación de estrellas de los últimos 7 días
  • reason@reasonml

    Código simple, rápido y seguro de tipos que aprovecha los ecosistemas de JavaScript y OCaml

    10.321-2Variación de estrellas de los últimos 7 días
  • awesomo@lk-geimfari

    Geniales proyectos de código abierto. Elige tu proyecto e involúcrate en el desarrollo de código abierto ahora.

    9932+7Variación de estrellas de los últimos 7 días
  • ocaml@ocaml

    El sistema central de OCaml: compiladores, sistema de tiempo de ejecución y bibliotecas base

    6548+11Variación de estrellas de los últimos 7 días
  • Sistema de archivos FUSE sobre Google Drive

    5964+5Variación de estrellas de los últimos 7 días
  • extism@extism

    El framework para construir con WebAssembly (wasm). Carga módulos wasm de forma fácil y segura, mueve datos, llama a funciones y construye aplicaciones extensibles.

    5751+12Variación de estrellas de los últimos 7 días
  • klipse@viebel

    Klipse es un plugin de JavaScript para incrustar fragmentos de código interactivos en blogs técnicos.

    3134+0Variación de estrellas de los últimos 7 días
  • awesome-ocaml@ocaml-community

    Una colección seleccionada de impresionantes herramientas, frameworks, bibliotecas y artículos de OCaml.

    3112+2Variación de estrellas de los últimos 7 días
  • FStar@FStarLang

    Un lenguaje de programación orientado a pruebas

    3103+3Variación de estrellas de los últimos 7 días
  • mirage@mirage

    MirageOS es un sistema operativo de biblioteca que construye unikernels

    2982+1Variación de estrellas de los últimos 7 días
  • bap@BinaryAnalysisPlatform

    Plataforma de análisis binario

    2254+1Variación de estrellas de los últimos 7 días
  • mina@MinaProtocol

    Mina es un protocolo de criptomonedas con una cadena de bloques de tamaño constante, que mejora la escalabilidad manteniendo la descentralización y la seguridad.

    2117+1Variación de estrellas de los últimos 7 días
  • irmin@mirage

    Irmin es una base de datos distribuida que sigue los mismos principios de diseño que Git.

    1956-1Variación de estrellas de los últimos 7 días
  • dune@ocaml

    Un sistema de compilación componible para OCaml.

    1912+1Variación de estrellas de los últimos 7 días
  • dream@camlworks

    Marco web ordenado y completo en funciones

    1879+1Variación de estrellas de los últimos 7 días
  • merlin@ocaml

    Autocompletado sensible al contexto para OCaml en Vim y Emacs.

    1704+0Variación de estrellas de los últimos 7 días
  • nodebook@netgusto

    Nodebook - REPL web multilingüe y ejecutor de código CLI.

    1643+0Variación de estrellas de los últimos 7 días
  • opam@ocaml

    opam es un gestor de paquetes basado en código fuente. Soporta múltiples instalaciones simultáneas de compiladores, restricciones de paquetes flexibles y un flujo de trabajo de desarrollo compatible con Git.

    1376+0Variación de estrellas de los últimos 7 días
  • stategraph@stategraph

    Terraform sin el cuello de botella del archivo de estado

    1279+11Variación de estrellas de los últimos 7 días
  • SATySFi@gfngfn

    Un sistema de composición tipográfica funcional y de tipado estático

    1247+0Variación de estrellas de los últimos 7 días
  • hazel@hazelgrove

    Hazel, un entorno de programación funcional en vivo con agujeros tipados

    1142+2Variación de estrellas de los últimos 7 días
  • js_of_ocaml@ocsigen

    Compilador de OCaml a Javascript.

    1130+0Variación de estrellas de los últimos 7 días
  • aeneas@AeneasVerif

    Una cadena de herramientas de verificación para programas en Rust.

    944+8Variación de estrellas de los últimos 7 días
  • felix@felix-lang

    El lenguaje de programación Felix.

    817+0Variación de estrellas de los últimos 7 días
  • lwt@ocsigen

    Promesas y E/S concurrente en OCaml

    792+1Variación de estrellas de los últimos 7 días
  • ocaml-cohttp@mirage

    Una biblioteca de OCaml para clientes y servidores HTTP que utiliza Lwt o Async.

    777+1Variación de estrellas de los últimos 7 días
  • ocamlformat@ocaml-ppx

    Formateador automático para código OCaml.

    730+0Variación de estrellas de los últimos 7 días
  • eio@ocaml-multicore

    E/S de estilo directo basado en efectos para OCaml multinúcleo

    722+0Variación de estrellas de los últimos 7 días
  • angstrom@inhabitedtype

    Combinadores de analizadores sintácticos diseñados para la velocidad y la eficiencia de memoria.

    705+1Variación de estrellas de los últimos 7 días
  • query-json@davesnx

    Implementación más rápida, sencilla y portátil de un lenguaje inspirado en jq, escrita en OCaml

    636+0Variación de estrellas de los últimos 7 días
← Volver a temas