Nā hale waihona puke i kākau ʻia ma OCaml

flow

Hoʻohui i ke kikokiko paʻa i ka JavaScript e hoʻomaikaʻi i ka huahana a me ka maikaʻi o ka code.
  • 22.0k
  • MIT

infer

He mea hoʻoponopono paʻa no Java, C, C++, a me Objective-C.
  • 14.2k
  • MIT

reason

Maʻalahi, wikiwiki a paʻi i ka code palekana e hoʻohana i ka JavaScript & OCaml kaiaolaola.
  • 9.9k
  • MIT

semgrep

Ka nānā 'ana i nā 'ōlelo ma'alahi. E ʻimi i nā ʻano like ʻole me nā hiʻohiʻona e like me ke code kumu.
  • 8.5k
  • GNU Lesser General Public License v3.0 only

pyre-check

Ka nānā ʻana i ke ʻano no ka python..
  • 6.4k
  • MIT

rescript-compiler

ʻO ka mea hōʻuluʻulu no ReScript..
  • 6.2k
  • GNU General Public License v3.0

google-drive-ocamlfuse

Pūnaehana faila FUSE ma luna o Google Drive.
  • 5.1k
  • MIT

ocaml

ʻO ka ʻōnaehana OCaml koʻikoʻi: nā mea hōʻuluʻulu, ʻōnaehana runtime, nā waihona waihona.
  • 4.6k
  • GNU General Public License v3.0

coq

ʻO Coq kahi ʻōnaehana hoʻokele hōʻoia. Hāʻawi ia i kahi ʻōlelo maʻamau e kākau i nā wehewehe makemakika, nā algorithms hiki ke hoʻokō ʻia a me nā theorems me kahi kaiapuni no ka hoʻomohala semi-interactive o nā hōʻike i nānā ʻia e ka mīkini.
  • 4.3k
  • GNU Lesser General Public License v3.0 only

Batsh

He ʻōlelo e hōʻuluʻulu ana iā Bash a me Windows Batch.
  • 4.2k

magic-trace

ʻohi ʻo magic-trace a hōʻike i nā meheu hoʻonā kiʻekiʻe o ke kaʻina hana.
  • 4.1k
  • MIT

unison

Unison file synchronizer (na bcpierce00).
  • 3.1k
  • GNU General Public License v3.0 only

pfff

Mea hana no ka nānā ʻana i nā code, nā hiʻohiʻona, a i ʻole ka hoʻololi kumu mālama ʻano.
  • 2.4k
  • GNU General Public License v3.0

mirage

ʻO MirageOS kahi ʻōnaehana hana hale waihona puke e kūkulu ana i nā unikernels.
  • 2.2k
  • ISC

comby

He hāmeʻa kākau hou no ka huli ʻana a me ka hoʻololi ʻana i kākoʻo i kēlā me kēia ʻōlelo.
  • 2.1k
  • Apache License 2.0

bap

Pākuʻi Kūkākūkā Binary.
  • 1.9k
  • MIT

mina

ʻO Mina kahi cryptocurrency hou me kahi blockchain nui mau, hoʻomaikaʻi i ka scaling ʻoiai e mālama ana i ka decentralization a me ka palekana. (na MinaProtocol).
  • 1.8k
  • Apache License 2.0

bincat

Ka helu helu helu binary, me ka hoʻohui ʻana o IDA. Hana i ka waiwai a me ka nānā ʻana i ka taint, ke kūkulu hou ʻana i ke ʻano, ka ʻike ʻana ma hope o ka manuahi a me ka ʻike ʻole ʻelua.
  • 1.5k

merlin

ʻO ka hoʻopau ʻana i ka ʻatikala no OCaml ma Vim a me Emacs.
  • 1.5k
  • MIT

dune

He ʻōnaehana kūkulu haku mele no OCaml..
  • 1.4k
  • MIT

plzoo

Nā ʻōlelo papahana Zoo.
  • 1.3k
  • MIT

dream

Maʻemaʻe, hiʻohiʻona-piha pūnaewele puni honua.
  • 1.2k
  • MIT

opam

ʻO ka opam he mea hoʻokele pūʻolo kumu. Kākoʻo ia i nā hoʻonohonoho compiler like ʻole, nā ʻāpana paʻa maʻalahi, a me kahi kaila hana hoʻomohala Git.
  • 1.1k
  • GNU General Public License v3.0

book

V2 o Real World OCaml (na realworldocaml).
  • 1.1k
  • GNU General Public License v3.0

owl

Owl - OCaml Scientific Computing @ http://ocaml.xyz.
  • 1.1k
  • MIT

SATySFi

ʻO kahi ʻōnaehana hoʻonohonoho hoʻonohonoho hana i hoʻopaʻa ʻia.
  • 1.1k
  • GNU Lesser General Public License v3.0 only

vpnkit

He mea hana no ka hoʻokomo ʻana i nā mana VPN i kāu noi.
  • 1.0k
  • Apache License 2.0

catala

ʻŌlelo papahana no ka ʻōlelo kikoʻī o ke kānāwai papahana.
  • 995
  • Apache License 2.0

caramel

: candy: he ʻōlelo hana no ke kūkulu ʻana i nā ʻano hana palekana, hiki ke hoʻonui ʻia, a mālama ʻia.
  • 995
  • Apache License 2.0

js_of_ocaml

Compiler mai OCaml i Javascript..
  • 853
  • GNU General Public License v3.0