Aller au contenu principal
buildradar
Sign in
Sujet · ocaml

ocaml

Dépôts open source suivis étiquetés ocaml, triés par étoiles.

Dépôts
38
Total d'étoiles
92 847
Étoiles en moyenne
2 443
Part
0,00%

Sujets qui apparaissent souvent aux côtés de ocaml sur un même dépôt.

Ascensions récentes

Dépôts créés au cours des 90 derniers jours et étiquetés ocaml.

Aucun nouveau dépôt étiqueté avec ce sujet au cours des 90 derniers jours.

  • Version PDF non officielle et source LaTeX de l'ouvrage 'Category Theory for Programmers' de Bartosz Milewski.

    11 690+9Évolution des étoiles sur les 7 derniers jours
  • reason@reasonml

    Code simple, rapide et typé en toute sécurité qui tire parti des écosystèmes JavaScript et OCaml.

    10 321-2Évolution des étoiles sur les 7 derniers jours
  • awesomo@lk-geimfari

    Projets open source intéressants. Choisissez votre projet et participez dès maintenant au développement open source.

    9 932+7Évolution des étoiles sur les 7 derniers jours
  • ocaml@ocaml

    Le système OCaml central : compilateurs, environnement d'exécution et bibliothèques de base

    6 548+11Évolution des étoiles sur les 7 derniers jours
  • Système de fichiers FUSE sur Google Drive

    5 964+5Évolution des étoiles sur les 7 derniers jours
  • extism@extism

    Le framework pour construire avec WebAssembly (wasm). Chargez facilement et en toute sécurité des modules wasm, déplacez des données, appelez des fonctions et créez des applications extensibles.

    5 751+12Évolution des étoiles sur les 7 derniers jours
  • klipse@viebel

    Klipse est un plugin JavaScript permettant d'intégrer des extraits de code interactifs dans des blogs techniques.

    3 134+0Évolution des étoiles sur les 7 derniers jours
  • awesome-ocaml@ocaml-community

    Une collection organisée d'outils, frameworks, bibliothèques et articles OCaml de qualité.

    3 112+2Évolution des étoiles sur les 7 derniers jours
  • FStar@FStarLang

    Langage de programmation orienté preuve.

    3 103+3Évolution des étoiles sur les 7 derniers jours
  • mirage@mirage

    MirageOS est un système d'exploitation de bibliothèque qui construit des unikernels.

    2 982+1Évolution des étoiles sur les 7 derniers jours
  • bap@BinaryAnalysisPlatform

    Plateforme d'analyse binaire.

    2 254+1Évolution des étoiles sur les 7 derniers jours
  • mina@MinaProtocol

    Mina est un protocole de cryptomonnaie doté d'une blockchain à taille constante, améliorant la mise à l'échelle tout en préservant la décentralisation et la sécurité.

    2 117+1Évolution des étoiles sur les 7 derniers jours
  • irmin@mirage

    Irmin est une base de données distribuée qui suit les mêmes principes de conception que Git.

    1 956-1Évolution des étoiles sur les 7 derniers jours
  • dune@ocaml

    Un système de build composable pour OCaml.

    1 912+1Évolution des étoiles sur les 7 derniers jours
  • dream@camlworks

    Framework web propre et complet en fonctionnalités.

    1 879+1Évolution des étoiles sur les 7 derniers jours
  • merlin@ocaml

    Auto-complétion contextuelle pour OCaml dans Vim et Emacs

    1 704+0Évolution des étoiles sur les 7 derniers jours
  • nodebook@netgusto

    Nodebook - REPL web multi-langages et exécuteur de code en ligne de commande.

    1 643+0Évolution des étoiles sur les 7 derniers jours
  • opam@ocaml

    opam est un gestionnaire de paquets basé sur les sources. Il prend en charge plusieurs installations de compilateurs simultanées, des contraintes de paquets flexibles et un flux de travail de développement compatible avec Git.

    1 376+0Évolution des étoiles sur les 7 derniers jours
  • stategraph@stategraph

    Terraform sans le goulot d'étranglement du fichier d'état

    1 279+11Évolution des étoiles sur les 7 derniers jours
  • SATySFi@gfngfn

    Un système de composition typographique fonctionnel et à typage statique.

    1 247+0Évolution des étoiles sur les 7 derniers jours
  • hazel@hazelgrove

    Hazel, un environnement de programmation fonctionnelle en direct avec des trous typés.

    1 142+2Évolution des étoiles sur les 7 derniers jours
  • js_of_ocaml@ocsigen

    Compilateur d'OCaml vers Javascript

    1 130+0Évolution des étoiles sur les 7 derniers jours
  • aeneas@AeneasVerif

    Une chaîne d'outils de vérification pour les programmes Rust

    944+8Évolution des étoiles sur les 7 derniers jours
  • felix@felix-lang

    Le langage de programmation Felix.

    817+0Évolution des étoiles sur les 7 derniers jours
  • lwt@ocsigen

    Promesses OCaml et entrées/sorties concurrentes

    792+1Évolution des étoiles sur les 7 derniers jours
  • ocaml-cohttp@mirage

    Bibliothèque OCaml pour clients et serveurs HTTP utilisant Lwt ou Async

    777+1Évolution des étoiles sur les 7 derniers jours
  • ocamlformat@ocaml-ppx

    Formateur automatique de code pour OCaml

    730+0Évolution des étoiles sur les 7 derniers jours
  • eio@ocaml-multicore

    E/S en style direct basées sur les effets pour OCaml multicœur

    722+0Évolution des étoiles sur les 7 derniers jours
  • angstrom@inhabitedtype

    Combinateurs de parseurs conçus pour la vitesse et l'efficacité mémorielle

    705+1Évolution des étoiles sur les 7 derniers jours
  • query-json@davesnx

    Implémentation plus rapide, plus simple et plus portable d'un langage inspiré de jq en OCaml

    636+0Évolution des étoiles sur les 7 derniers jours
← Retour aux sujets