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

sihl

Ένα αρθρωτό λειτουργικό πλαίσιο ιστού.
  • 339
  • MIT

ocaml-ctypes

Βιβλιοθήκη για δέσμευση σε βιβλιοθήκες C χρησιμοποιώντας καθαρό OCaml.
  • 337
  • MIT

notty

Δηλωτικά γραφικά τερματικού για OCaml (από pqwy).
  • 323
  • ISC

bamboo

Μπαμπού δείτε https://github.com/cornellblockchain/bamboo (από pirapira).
  • 318
  • Apache License 2.0

bonsai

Μια βιβλιοθήκη για τη δημιουργία δυναμικών webapps, χρησιμοποιώντας το Js_of_ocaml.
  • 305
  • MIT

vscode-ocaml-platform

Επέκταση κώδικα Visual Studio για OCaml.
  • 298
  • ISC

soupault

Γεννήτρια στατικής ιστοσελίδας που βασίζεται σε επαναγραφή δέντρου στοιχείων HTML.
  • 294
  • MIT

ocaml-h2

Μια υλοποίηση HTTP/2 γραμμένη σε καθαρό OCaml.
  • 287
  • BSD 3-clause "New" or "Revised"

bisect_ppx

Κάλυψη κώδικα για OCaml και ReScript.
  • 283
  • MIT

yojson

Βιβλιοθήκη ανάλυσης JSON χαμηλού επιπέδου και όμορφης εκτύπωσης για OCaml.
  • 283
  • BSD 3-clause "New" or "Revised"

bs-json

Συνθετική βιβλιοθήκη κωδικοποίησης/αποκωδικοποίησης JSON για BuckleScript.
  • 273
  • GNU Lesser General Public License v3.0 only

re-web

Πειραματικό πλαίσιο ιστού για ReasonML & OCaml.
  • 264
  • MIT

GeneWeb

Το GeneWeb είναι ένα δωρεάν (όπως στην ελευθερία του λόγου) λογισμικό γενεαλογίας με διεπαφή ιστού που δημιουργήθηκε από τον Daniel de Rauglaudre..
  • 262
  • GNU General Public License v3.0 only

ocaml-jupyter

Ένας πυρήνας OCaml για σημειωματάριο Jupyter (IPython).
  • 258
  • MIT

1ml

Πρωτότυπος διερμηνέας 1ML.
  • 255
  • Apache License 2.0

ocaml-caqti

Συνεταιριστική πρόσβαση σε σχεσιακά δεδομένα.
  • 255
  • GNU Lesser General Public License v3.0 only

parallel-programming-in-multicore-ocaml

Εκμάθηση για τον παράλληλο προγραμματισμό πολλαπλών πυρήνων OCaml με domainslib.
  • 252
  • ISC

bsb-native

Δημιουργία συστήματος για OCaml/Reason.
  • 244
  • GNU General Public License v3.0

scilla

Scilla - A Smart Contract Intermediate Level Language (από Zilliqa).
  • 239
  • GNU General Public License v3.0 only

ocaml-webmachine

Μια εργαλειοθήκη REST για το OCaml.
  • 222
  • GNU General Public License v3.0

mldonkey

πολλαπλών δικτύων p2p δαίμονας πολλαπλών πλατφορμών.
  • 217
  • GNU General Public License v3.0

coq-of-ocaml

Επίσημη επαλήθευση για το OCaml.
  • 215
  • MIT

sedlex

Μια γεννήτρια lexer OCaml για Unicode.
  • 212
  • MIT

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

cooltt

😎TT.
  • 201
  • Apache License 2.0

qubes-mirage-firewall

Ένα τείχος προστασίας Mirage VM για το QubesOS.
  • 195

c2bf

Μεταγλωττιστής από το C στο brainfuck.
  • 194
  • GNU General Public License v3.0 only