Βιβλιοθήκες γραμμένες σε OCaml
bamboo
Μπαμπού δείτε https://github.com/cornellblockchain/bamboo (από pirapira).
- 318
- Apache License 2.0
yojson
Βιβλιοθήκη ανάλυσης JSON χαμηλού επιπέδου και όμορφης εκτύπωσης για OCaml.
- 283
- BSD 3-clause "New" or "Revised"
bs-json
Συνθετική βιβλιοθήκη κωδικοποίησης/αποκωδικοποίησης JSON για BuckleScript.
- 273
- GNU Lesser General Public License v3.0 only
GeneWeb
Το GeneWeb είναι ένα δωρεάν (όπως στην ελευθερία του λόγου) λογισμικό γενεαλογίας με διεπαφή ιστού που δημιουργήθηκε από τον Daniel de Rauglaudre..
- 262
- GNU General Public License v3.0 only
ocaml-caqti
Συνεταιριστική πρόσβαση σε σχεσιακά δεδομένα.
- 255
- GNU Lesser General Public License v3.0 only
parallel-programming-in-multicore-ocaml
Εκμάθηση για τον παράλληλο προγραμματισμό πολλαπλών πυρήνων OCaml με domainslib.
- 252
- ISC
scilla
Scilla - A Smart Contract Intermediate Level Language (από Zilliqa).
- 239
- GNU General Public License v3.0 only
coq2rust
Εξαγωγή προγράμματος Coq to Rust. Ολόκληρο το δέντρο είναι στην αρχική βάση κώδικα Coq..
- 212
- GNU Lesser General Public License v3.0 only
ocaml-re
Καθαρές κανονικές εκφράσεις OCaml, με υποστήριξη για συμβολοσειρές τύπου Perl και POSIX.
- 206
- GNU General Public License v3.0
extprot
extprot: επεκτάσιμα δυαδικά πρωτόκολλα για διαγλωσσική επικοινωνία και μακροπρόθεσμη σειριοποίηση.
- 203
- GNU General Public License v3.0
plotkicadsch
Αυτό το έργο στοχεύει στη δυνατότητα εξαγωγής αρχείων Kicad Sch σε αρχεία δομημένης εικόνας (από jnavila).
- 201
- GNU General Public License v3.0