Βιβλιοθήκες γραμμένες σε OCaml
CombinatorC
Μια γλώσσα προγραμματισμού τύπου C για την έκφραση πρακτικών κυκλωμάτων Factorio που μεταγλωττίζεται σε σχεδιαγράμματα συνδυασμού Factorio.
- 35
- GNU General Public License v3.0 only
RustScript2
Η RustScript είναι μια λειτουργική γλώσσα δέσμης ενεργειών με τόση σχέση με τη Rust όσο η Javascript με την Java..
- 32
- GNU General Public License v3.0
dream-html
Δημιουργήστε σήμανση HTML από τον διακομιστή υποστήριξης OCaml Dream.
- 29
- GNU General Public License v3.0 only
why3
Αποθετήριο SPARK 2014 για την πλατφόρμα επαλήθευσης Why3. (από την AdaCore).
- 26
- GNU General Public License v3.0
stramon
Βοηθητικό πρόγραμμα παρακολούθησης συμπεριφοράς διεργασιών και βιβλιοθήκη με βάση το strace.
- 24
- MIT
ocaml-decimal
Δεκαδικά ψηφία κινητής υποδιαστολής αυθαίρετης ακρίβειας.
- 22
- GNU General Public License v3.0
schmu
Μια γλώσσα προγραμματισμού WIP εμπνευσμένη από την ML και υποστηρίζεται από το LLVM.
- 20
- GNU General Public License v3.0 only
opam-tools
opam plugin για την προετοιμασία ενός τοπικού περιβάλλοντος ανάπτυξης για ένα έργο OCaml.
- 20
- ISC
wyrd
Βελτιώσεις στο Wyrd καταριούνται το μπροστινό μέρος στο Remind. Τώρα μεταφέρθηκε στο GitLab. (από haguenau).
- 18
- GNU General Public License v3.0 only
template-ocaml
Ένα πρότυπο για το OCaml, το οποίο έχει διαμορφωθεί για το Gitpod (www.gitpod.io) για να σας προσφέρει προκατασκευασμένα, εφήμερα περιβάλλοντα ανάπτυξης στο cloud..
- 16
- MIT
pholyglot
Πειραματιστείτε με αποσπάσματα πολυγλωσσίας PHP+C και ένα transpiler γραμμένο σε OCaml.
- 15
ramen
Γλώσσα επεξεργασίας ροής και μεταγλωττιστής για παρακολούθηση μικρής κλίμακας (από το rixed).
- 15
- GNU General Public License v3.0
ocaml-mssql
Μια βιβλιοθήκη πελάτη OCaml SQL Server περιτυλίγματος υψηλού επιπέδου που χρησιμοποιεί FreeTDS.
- 12
- Apache License 2.0
