Βιβλιοθήκες γραμμένες σε OCaml

flow

Προσθέτει στατική πληκτρολόγηση στο JavaScript για να βελτιώσει την παραγωγικότητα των προγραμματιστών και την ποιότητα του κώδικα..
  • 22.0k
  • MIT

infer

Ένας στατικός αναλυτής για Java, C, C++ και Objective-C.
  • 14.2k
  • MIT

reason

Απλός, γρήγορος και πληκτρολογήστε ασφαλή κώδικα που αξιοποιεί τα οικοσυστήματα JavaScript & OCaml.
  • 9.9k
  • MIT

semgrep

Ελαφριά στατική ανάλυση για πολλές γλώσσες. Βρείτε παραλλαγές σφαλμάτων με μοτίβα που μοιάζουν με τον πηγαίο κώδικα..
  • 8.5k
  • GNU Lesser General Public License v3.0 only

pyre-check

Έλεγχος τύπων απόδοσης για python..
  • 6.4k
  • MIT

rescript-compiler

Ο μεταγλωττιστής για το ReScript..
  • 6.2k
  • GNU General Public License v3.0

google-drive-ocamlfuse

Σύστημα αρχείων FUSE μέσω του Google Drive.
  • 5.1k
  • MIT

ocaml

Το βασικό σύστημα OCaml: μεταγλωττιστές, σύστημα χρόνου εκτέλεσης, βιβλιοθήκες βάσης.
  • 4.6k
  • GNU General Public License v3.0

coq

Το Coq είναι ένα επίσημο σύστημα διαχείρισης απόδειξης. Παρέχει μια επίσημη γλώσσα για τη σύνταξη μαθηματικών ορισμών, εκτελέσιμων αλγορίθμων και θεωρημάτων μαζί με ένα περιβάλλον για ημι-αλληλεπιδραστική ανάπτυξη αποδείξεων που ελέγχονται από μηχανή.
  • 4.3k
  • GNU Lesser General Public License v3.0 only

Batsh

Μια γλώσσα που μεταγλωττίζεται σε Bash και Windows Batch.
  • 4.2k

magic-trace

Το magic-trace συλλέγει και εμφανίζει ίχνη υψηλής ανάλυσης του τι κάνει μια διαδικασία.
  • 4.1k
  • MIT

unison

Συγχρονιστής αρχείων Unison (από bcpierce00).
  • 3.1k
  • GNU General Public License v3.0 only

pfff

Εργαλεία για ανάλυση κώδικα, οπτικοποιήσεις ή μετασχηματισμό πηγής διατήρησης στυλ..
  • 2.4k
  • GNU General Public License v3.0

mirage

Το MirageOS είναι ένα λειτουργικό σύστημα βιβλιοθήκης που κατασκευάζει unikernels.
  • 2.2k
  • ISC

comby

Ένα εργαλείο επανεγγραφής κώδικα για δομική αναζήτηση και αντικατάσταση που υποστηρίζει ~κάθε γλώσσα..
  • 2.1k
  • Apache License 2.0

bap

Πλατφόρμα δυαδικής ανάλυσης.
  • 1.9k
  • MIT

mina

Το Mina είναι ένα νέο κρυπτονόμισμα με blockchain σταθερού μεγέθους, που βελτιώνει την κλίμακα διατηρώντας παράλληλα την αποκέντρωση και την ασφάλεια. (από MinaProtocol).
  • 1.8k
  • Apache License 2.0

bincat

Στατικός αναλυτής δυαδικού κώδικα, με ενσωμάτωση IDA. Πραγματοποιεί ανάλυση αξίας και λεκέδων, ανακατασκευή τύπου, ανίχνευση μετά τη χρήση και διπλή δωρεάν.
  • 1.5k

merlin

Ολοκλήρωση με ευαισθησία περιβάλλοντος για το OCaml σε Vim και Emacs.
  • 1.5k
  • MIT

dune

Ένα συνθετικό σύστημα κατασκευής για OCaml..
  • 1.4k
  • MIT

plzoo

Γλώσσες Προγραμματισμού Zoo.
  • 1.3k
  • MIT

dream

Τακτοποιημένο πλαίσιο Ιστού με πλήρη χαρακτηριστικά.
  • 1.2k
  • MIT

opam

Το opam είναι ένας διαχειριστής πακέτων που βασίζεται σε πηγές. Υποστηρίζει πολλαπλές ταυτόχρονες εγκαταστάσεις μεταγλωττιστών, ευέλικτους περιορισμούς πακέτων και μια φιλική προς το Git ροή εργασιών ανάπτυξης.
  • 1.1k
  • GNU General Public License v3.0

book

V2 του Real World OCaml (από realworldocaml).
  • 1.1k
  • GNU General Public License v3.0

owl

Κουκουβάγια - OCaml Scientific Computing @ http://ocaml.xyz.
  • 1.1k
  • MIT

SATySFi

Ένα στατικά τυποποιημένο, λειτουργικό σύστημα στοιχειοθεσίας.
  • 1.1k
  • GNU Lesser General Public License v3.0 only

vpnkit

Μια εργαλειοθήκη για την ενσωμάτωση δυνατοτήτων VPN στην εφαρμογή σας.
  • 1.0k
  • Apache License 2.0

catala

Γλώσσα προγραμματισμού για προδιαγραφή νόμου εγγράμματου προγραμματισμού.
  • 995
  • Apache License 2.0

caramel

:candy: μια λειτουργική γλώσσα για τη δημιουργία εφαρμογών ασφαλών, επεκτάσιμων και συντηρήσιμων για τον τύπο.
  • 995
  • Apache License 2.0

js_of_ocaml

Μεταγλωττιστής από OCaml σε Javascript..
  • 853
  • GNU General Public License v3.0