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
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
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
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
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
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
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
SATySFi
ʻO kahi ʻōnaehana hoʻonohonoho hoʻonohonoho hana i hoʻopaʻa ʻia.
- 1.1k
- GNU Lesser General Public License v3.0 only
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