Βιβλιοθήκες γραμμένες σε OCaml
genType
Αυτόματη δημιουργία ιδιωματικών συνδέσεων μεταξύ Reason και JavaScript: είτε βανίλια είτε πληκτρολογημένα με TypeScript/FlowType..
- 756
- MIT
austral
Γλώσσα συστημάτων με γραμμικούς τύπους και ασφάλεια βασισμένη σε δυνατότητες..
- 735
- Apache License 2.0
ocaml-cohttp
Μια βιβλιοθήκη OCaml για πελάτες και διακομιστές HTTP που χρησιμοποιούν Lwt ή Async.
- 636
- GNU General Public License v3.0
angstrom
Συνδυαστές ανάλυσης κατασκευασμένοι για ταχύτητα και απόδοση μνήμης.
- 562
- GNU General Public License v3.0
httpaf
Ένας διακομιστής web υψηλής απόδοσης, αποδοτικός στη μνήμη και επεκτάσιμος γραμμένος σε OCaml.
- 525
- GNU General Public License v3.0
ocaml-containers
Μια ελαφριά, αρθρωτή τυπική επέκταση βιβλιοθήκης, βιβλιοθήκη συμβολοσειρών και διεπαφές σε διάφορες βιβλιοθήκες (unix, νήματα, κ.λπ.) άδεια BSD..
- 445
- BSD 2-clause "Simplified"
vult
Το Vult είναι ένας transcompiler κατάλληλος για τη σύνταξη κώδικα DSP υψηλής απόδοσης.
- 432
- GNU General Public License v3.0
min-caml
μετακινήθηκε από https://sourceforge.net/p/min-caml/code/.
- 429
- GNU General Public License v3.0
motoko
Απλή γλώσσα υψηλού επιπέδου για τη σύνταξη δοχείων υπολογιστή στο Διαδίκτυο.
- 412
- Apache License 2.0
effects-examples
Παραδείγματα για την απεικόνιση της χρήσης αλγεβρικών εφέ στο Multicore OCaml.
- 364
- ISC
karamel
Το KaRaMeL είναι ένα εργαλείο για την εξαγωγή προγραμμάτων F* χαμηλού επιπέδου σε αναγνώσιμο κώδικα C.
- 360
- Apache License 2.0
incr_dom
Μια βιβλιοθήκη για τη δημιουργία δυναμικών webapps, χρησιμοποιώντας το Js_of_ocaml..
- 357
- MIT