OCamlben írt könyvtárak

flow

Statikus gépelést ad a JavaScripthez a fejlesztői termelékenység és a kódminőség javítása érdekében.
  • 22.0k
  • MIT

infer

Statikus elemző Java, C, C++ és Objective-C számára.
  • 14.2k
  • MIT

reason

Egyszerű, gyors és gépelhető biztonságos kód, amely kihasználja a JavaScript és az OCaml ökoszisztémákat.
  • 9.9k
  • MIT

semgrep

Könnyű statikus elemzés számos nyelvhez. Keressen olyan hibaváltozatokat, amelyek mintázata hasonlít a forráskódra.
  • 8.5k
  • GNU Lesser General Public License v3.0 only

pyre-check

Végrehajtó típus-ellenőrzés a python számára..
  • 6.4k
  • MIT

rescript-compiler

A ReScript fordítója..
  • 6.2k
  • GNU General Public License v3.0

google-drive-ocamlfuse

FUSE fájlrendszer a Google Drive-on keresztül.
  • 5.1k
  • MIT

ocaml

Az OCaml alaprendszere: fordítók, futásidejű rendszer, alapkönyvtárak.
  • 4.6k
  • GNU General Public License v3.0

coq

A Coq egy formális bizonyítékkezelési rendszer. Formális nyelvet biztosít matematikai definíciók, végrehajtható algoritmusok és tételek írásához, valamint egy környezetet a géppel ellenőrzött bizonyítások félig interaktív fejlesztéséhez.
  • 4.3k
  • GNU Lesser General Public License v3.0 only

Batsh

Bash-ra és Windows Batch-re fordító nyelv.
  • 4.2k

magic-trace

A magic-trace összegyűjti és nagy felbontású nyomokat jelenít meg egy folyamatról.
  • 4.1k
  • MIT

unison

Unison fájlszinkronizáló (bcpierce00).
  • 3.1k
  • GNU General Public License v3.0 only

pfff

Eszközök kódelemzéshez, vizualizációkhoz vagy stílusmegőrző forrásátalakításhoz.
  • 2.4k
  • GNU General Public License v3.0

mirage

A MirageOS egy unikerneleket létrehozó könyvtári operációs rendszer.
  • 2.2k
  • ISC

comby

Egy kód átíró eszköz a strukturális kereséshez és cseréhez, amely ~minden nyelvet támogat.
  • 2.1k
  • Apache License 2.0

bap

Bináris elemző platform.
  • 1.9k
  • MIT

mina

A Mina egy új kriptovaluta, állandó méretű blokklánccal, amely javítja a skálázást, miközben fenntartja a decentralizációt és a biztonságot. (a MinaProtocol szerint).
  • 1.8k
  • Apache License 2.0

bincat

Bináris kódú statikus elemző, IDA integrációval. Érték- és szennyeződés-elemzést, típus-rekonstrukciót, használat utáni használat nélküli és kettős mentes detektálást végez.
  • 1.5k

merlin

Környezetérzékeny befejezés az OCaml számára Vimben és Emacsban.
  • 1.5k
  • MIT

dune

Összeállítható összeállítási rendszer az OCaml számára..
  • 1.4k
  • MIT

plzoo

Programozási nyelvek állatkertje.
  • 1.3k
  • MIT

dream

Rendezett, funkciókkal rendelkező webes keretrendszer.
  • 1.2k
  • MIT

opam

Az opam egy forrás alapú csomagkezelő. Támogatja a több egyidejű fordítótelepítést, a rugalmas csomagmegkötéseket és a Git-barát fejlesztési munkafolyamatot.
  • 1.1k
  • GNU General Public License v3.0

book

A Real World OCaml V2 (a realworldocaml által).
  • 1.1k
  • GNU General Public License v3.0

owl

Bagoly – OCaml Scientific Computing @ http://ocaml.xyz.
  • 1.1k
  • MIT

SATySFi

Statikusan tipizált, funkcionális szedőrendszer.
  • 1.1k
  • GNU Lesser General Public License v3.0 only

vpnkit

Eszközkészlet VPN-képességek beágyazásához az alkalmazásba.
  • 1.0k
  • Apache License 2.0

catala

Programozási nyelv a művelt programozási törvény specifikációjához.
  • 995
  • Apache License 2.0

caramel

:candy: funkcionális nyelv típusbiztos, méretezhető és karbantartható alkalmazások létrehozásához.
  • 995
  • Apache License 2.0

js_of_ocaml

Fordítóprogram OCamlről Javascriptre..
  • 853
  • GNU General Public License v3.0