Βιβλιοθήκες γραμμένες σε OCaml
flow
Προσθέτει στατική πληκτρολόγηση στο JavaScript για να βελτιώσει την παραγωγικότητα των προγραμματιστών και την ποιότητα του κώδικα..
- 22.0k
- MIT
reason
Απλός, γρήγορος και πληκτρολογήστε ασφαλή κώδικα που αξιοποιεί τα οικοσυστήματα JavaScript & OCaml.
- 9.9k
- MIT
semgrep
Ελαφριά στατική ανάλυση για πολλές γλώσσες. Βρείτε παραλλαγές σφαλμάτων με μοτίβα που μοιάζουν με τον πηγαίο κώδικα..
- 8.5k
- GNU Lesser General Public License v3.0 only
ocaml
Το βασικό σύστημα OCaml: μεταγλωττιστές, σύστημα χρόνου εκτέλεσης, βιβλιοθήκες βάσης.
- 4.6k
- GNU General Public License v3.0
coq
Το Coq είναι ένα επίσημο σύστημα διαχείρισης απόδειξης. Παρέχει μια επίσημη γλώσσα για τη σύνταξη μαθηματικών ορισμών, εκτελέσιμων αλγορίθμων και θεωρημάτων μαζί με ένα περιβάλλον για ημι-αλληλεπιδραστική ανάπτυξη αποδείξεων που ελέγχονται από μηχανή.
- 4.3k
- GNU Lesser General Public License v3.0 only
magic-trace
Το magic-trace συλλέγει και εμφανίζει ίχνη υψηλής ανάλυσης του τι κάνει μια διαδικασία.
- 4.1k
- MIT
pfff
Εργαλεία για ανάλυση κώδικα, οπτικοποιήσεις ή μετασχηματισμό πηγής διατήρησης στυλ..
- 2.4k
- GNU General Public License v3.0
comby
Ένα εργαλείο επανεγγραφής κώδικα για δομική αναζήτηση και αντικατάσταση που υποστηρίζει ~κάθε γλώσσα..
- 2.1k
- Apache License 2.0
mina
Το Mina είναι ένα νέο κρυπτονόμισμα με blockchain σταθερού μεγέθους, που βελτιώνει την κλίμακα διατηρώντας παράλληλα την αποκέντρωση και την ασφάλεια. (από MinaProtocol).
- 1.8k
- Apache License 2.0
bincat
Στατικός αναλυτής δυαδικού κώδικα, με ενσωμάτωση IDA. Πραγματοποιεί ανάλυση αξίας και λεκέδων, ανακατασκευή τύπου, ανίχνευση μετά τη χρήση και διπλή δωρεάν.
- 1.5k
opam
Το opam είναι ένας διαχειριστής πακέτων που βασίζεται σε πηγές. Υποστηρίζει πολλαπλές ταυτόχρονες εγκαταστάσεις μεταγλωττιστών, ευέλικτους περιορισμούς πακέτων και μια φιλική προς το Git ροή εργασιών ανάπτυξης.
- 1.1k
- GNU General Public License v3.0
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