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

smart-contracts

Μια βιβλιοθήκη έξυπνων συμβολαίων (από την oxheadalpha).
  • 100
  • MIT

coq-lsp

Επέκταση κώδικα Visual Studio και πρωτόκολλο διακομιστή γλώσσας για Coq.
  • 98
  • GNU Lesser General Public License v3.0 only

capnp-rpc

Εφαρμογή Cap'n Proto RPC.
  • 89
  • GNU General Public License v3.0

ocaml-asp

Αλγεβρική, σταδιακή ανάλυση για OCaml: πληκτρολογημένη, σύνθεση και ταχύτερη από το yacc.
  • 87
  • MIT

camlboot

Πειραματιστείτε σχετικά με τον τρόπο εκκίνησης του μεταγλωττιστή OCaml.
  • 84
  • MIT

yocaml

Το YOCaml είναι μια δημιουργία στατικών τοποθεσιών, κυρίως γραμμένη σε OCaml.
  • 82
  • GNU General Public License v3.0 only

lablgtk

LablGTK 2 και 3: μια διεπαφή με το κιτ εργαλείων GIMP.
  • 81
  • GNU General Public License v3.0

ppx_sexp_conv

Δημιουργία συναρτήσεων μετατροπής έκφρασης S από ορισμούς τύπων.
  • 76
  • MIT

silk

The Silk Programming Language (από AjayMT).
  • 75
  • MIT

weidu

Το WeiDU είναι ένα πρόγραμμα που χρησιμοποιείται για την ανάπτυξη, διανομή και εγκατάσταση τροποποιήσεων για παιχνίδια που βασίζονται στο Infinity Engine..
  • 71
  • GNU General Public License v3.0 only

ocamlot

Ένας διακομιστής Activitypub στο OCaml!.
  • 64
  • GNU Affero General Public License v3.0

flambda-backend

Το έργο υποστήριξης Flambda για το OCaml.
  • 61

cuite

(καθρέφτης) Συνδέσεις OCaml στο κιτ εργαλείων Qt..
  • 58
  • MIT

tornado

Το Tornado είναι ένας πελάτης BitTorrent γραμμένος εξ ολοκλήρου σε OCaml. (από fraidev).
  • 57
  • MIT

kalandralang

Μια γλώσσα προγραμματισμού για συνταγές χειροτεχνίας Path of Exile..
  • 54
  • MIT

miragevpn

Μια πιστή εφαρμογή του πρωτοκόλλου OpenVPN.
  • 53

virt-v2v

Το Virt-v2v μετατρέπει τους επισκέπτες από ξένους hypervisors για να εκτελούνται σε KVM.
  • 51
  • GNU General Public License v3.0 only

ego

EGraphs σε OCaml (από verse-lab).
  • 51
  • GNU General Public License v3.0 only

ocaml-matrix

Υλοποίηση διακομιστή matrix στο OCaml για MirageOS.
  • 49
  • ISC

unikernels

Unikernels MirageOS (από roburio).
  • 49

prometheus

Βιβλιοθήκη OCaml για την αναφορά μετρήσεων σε διακομιστή Prometheus (από αντικατοπτρισμό).
  • 48
  • Apache License 2.0

youtube-channel

  • 44

ocaml-grpc

Βιβλιοθήκη gRPC για OCaml.
  • 43
  • BSD 3-clause "New" or "Revised"

sexp

Ελβετικό μαχαίρι έκφρασης S.
  • 41
  • MIT

obuilder

Πειραματική εναλλακτική "κατασκευή docker" χρησιμοποιώντας στιγμιότυπα btrfs/zfs.
  • 40
  • Apache License 2.0

VIBES

Verified, Incremental, Binary Editing με Σύνθεση.
  • 39
  • MIT

otoml

Βιβλιοθήκη ανάλυσης, επεξεργασίας και όμορφης εκτύπωσης TOML για OCaml (πλήρως συμβατό με 1.0.0).
  • 39
  • MIT

illuaminate

Πολύ στατική ανάλυση WIP για Lua.
  • 39
  • BSD 3-clause "New" or "Revised"

AdventOfCode2017

Οι λύσεις μου για το AoC 2017, χρησιμοποιώντας Nim, OCaml και Python (από narimiran).
  • 38
  • MIT

bondi

πηγαίος κώδικας για τη γλώσσα προγραμματισμού bondi.
  • 38
  • MIT