OCaml
Dépôts open source suivis ayant OCaml pour langage principal, triés par étoiles.
- #1semgrep@semgrep
Analyse statique légère pour de nombreux langages. Détectez des variantes de bugs avec des modèles ressemblant au code source.
★ 16 420+96Évolution des étoiles sur les 7 derniers jours - #2infer@facebook
Analyseur statique pour Java, C, C++ et Objective-C
★ 15 692+9Évolution des étoiles sur les 7 derniers jours - #3reason@reasonml
Code simple, rapide et typé en toute sécurité qui tire parti des écosystèmes JavaScript et OCaml.
★ 10 323-1Évolution des étoiles sur les 7 derniers jours - #4ocaml@ocaml
Le système OCaml central : compilateurs, environnement d'exécution et bibliothèques de base
★ 6 537+12Évolution des étoiles sur les 7 derniers jours - #5magic-trace@janestreet
magic-trace collecte et affiche des traces haute résolution de l'activité d'un processus.
★ 6 250+13Évolution des étoiles sur les 7 derniers jours - #6google-drive-ocamlfuse@astrada
Système de fichiers FUSE sur Google Drive
★ 5 961+1Évolution des étoiles sur les 7 derniers jours - #7rocq@rocq-prover
Rocq Prover est un assistant de preuve interactif. Il fournit un langage formel pour écrire des définitions mathématiques, des algorithmes exécutables et des théorèmes, ainsi qu'un environnement pour le développement semi-interactif de preuves vérifiées par machine.
★ 5 557+8Évolution des étoiles sur les 7 derniers jours - #8unison@bcpierce00
Synchronisateur de fichiers Unison
★ 5 456+7Évolution des étoiles sur les 7 derniers jours - #9opengrep@opengrep
Moteur d'analyse statique de code pour détecter les failles de sécurité.
★ 2 996+21Évolution des étoiles sur les 7 derniers jours - #10mirage@mirage
MirageOS est un système d'exploitation de bibliothèque qui construit des unikernels.
★ 2 980+2Évolution des étoiles sur les 7 derniers jours - #11comby@comby-tools
Outil de réécriture de code pour la recherche et le remplacement structurel, compatible avec presque tous les langages.
★ 2 670+0Évolution des étoiles sur les 7 derniers jours - #122027QuantInternships@northwesternfintech
Dépôt public de stage en finance quantitative, maintenu par NUFT mais accessible à tous.
★ 2 467+12Évolution des étoiles sur les 7 derniers jours - #13catala@CatalaLang
Langage de programmation pour la spécification juridique en programmation littérale
★ 2 369+4Évolution des étoiles sur les 7 derniers jours - #14bap@BinaryAnalysisPlatform
Plateforme d'analyse binaire.
★ 2 254+5Évolution des étoiles sur les 7 derniers jours - #15mina@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 - #16irmin@mirage
Irmin est une base de données distribuée qui suit les mêmes principes de conception que Git.
★ 1 957+5Évolution des étoiles sur les 7 derniers jours - #17dune@ocaml
Un système de build composable pour OCaml.
★ 1 911+2Évolution des étoiles sur les 7 derniers jours - #18dream@camlworks
Framework web propre et complet en fonctionnalités.
★ 1 877+2Évolution des étoiles sur les 7 derniers jours - #19bincat@airbus-seclab
Analyseur statique de code binaire avec intégration IDA. Effectue une analyse de valeur et de taint, une reconstruction de type, et la détection de use-after-free et double-free
★ 1 872+2Évolution des étoiles sur les 7 derniers jours - #20liquidsoap@savonet
Liquidsoap est un langage de script à typage statique polyvalent avec des opérateurs dédiés et un backend pour tout ce qui concerne les médias, le streaming, la génération de fichiers, l'automatisation, le backend HTTP et plus encore.
★ 1 721+2Évolution des étoiles sur les 7 derniers jours - #21merlin@ocaml
Auto-complétion contextuelle pour OCaml dans Vim et Emacs
★ 1 703+3Évolution des étoiles sur les 7 derniers jours - #22plzoo@andrejbauer
Zoo des langages de programmation
★ 1 592+0Évolution des étoiles sur les 7 derniers jours - #23austral@austral
Langage système avec types linéaires et sécurité basée sur les capacités.
★ 1 572+3Évolution des étoiles sur les 7 derniers jours - #24incremental@janestreet
Une bibliothèque pour les calculs incrémentaux
★ 1 501+6Évolution des étoiles sur les 7 derniers jours - #25bonsai@janestreet
Une bibliothèque pour créer des applications web dynamiques en utilisant Js_of_ocaml
★ 1 391+5Évolution des étoiles sur les 7 derniers jours - #26opam@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+2Évolution des étoiles sur les 7 derniers jours - #27owl@owlbarn
Owl - Informatique scientifique en OCaml @ https://ocaml.xyz
★ 1 351+1Évolution des étoiles sur les 7 derniers jours - #28core@janestreet
Surcouche de la bibliothèque standard de Jane Street Capital.
★ 1 319+3Évolution des étoiles sur les 7 derniers jours - #29stategraph@stategraph
Terraform sans le goulot d'étranglement du fichier d'état
★ 1 269+6Évolution des étoiles sur les 7 derniers jours - #30book@realworldocaml
V2 de Real World OCaml
★ 1 261+1Évolution des étoiles sur les 7 derniers jours
