Knjižnice, napisane v OCamlu

flow

JavaScriptu doda statično tipkanje za izboljšanje produktivnosti razvijalcev in kakovosti kode..
  • 22.0k
  • MIT

infer

Statični analizator za Javo, C, C++ in Objective-C.
  • 14.2k
  • MIT

reason

Preprosta, hitra in varna koda, ki izkorišča ekosistema JavaScript in OCaml.
  • 9.9k
  • MIT

semgrep

Lahka statična analiza za številne jezike. Poiščite različice napak z vzorci, ki so videti kot izvorna koda.
  • 8.5k
  • GNU Lesser General Public License v3.0 only

pyre-check

Učinkovito preverjanje tipa za python..
  • 6.4k
  • MIT

rescript-compiler

Prevajalnik za ReScript..
  • 6.2k
  • GNU General Public License v3.0

google-drive-ocamlfuse

Datotečni sistem FUSE preko Google Drive.
  • 5.1k
  • MIT

ocaml

Jedro sistema OCaml: prevajalniki, izvajalni sistem, osnovne knjižnice.
  • 4.6k
  • GNU General Public License v3.0

coq

Coq je uradni sistem za upravljanje dokazov. Zagotavlja formalni jezik za pisanje matematičnih definicij, izvedljivih algoritmov in izrekov skupaj z okoljem za polinteraktiven razvoj strojno preverjenih dokazov.
  • 4.3k
  • GNU Lesser General Public License v3.0 only

Batsh

Jezik, ki prevaja v Bash in Windows Batch.
  • 4.2k

magic-trace

magic-trace zbira in prikazuje sledi visoke ločljivosti o tem, kaj proces počne.
  • 4.1k
  • MIT

unison

Sinhronizator datotek Unison (avtor bcpierce00).
  • 3.1k
  • GNU General Public License v3.0 only

pfff

Orodja za analizo kode, vizualizacije ali pretvorbo vira, ki ohranja slog.
  • 2.4k
  • GNU General Public License v3.0

mirage

MirageOS je knjižnični operacijski sistem, ki sestavlja enojedra.
  • 2.2k
  • ISC

comby

Orodje za prepis kode za strukturno iskanje in zamenjavo, ki podpira ~vsak jezik..
  • 2.1k
  • Apache License 2.0

bap

Platforma za binarno analizo.
  • 1.9k
  • MIT

mina

Mina je nova kriptovaluta z blokovno verigo konstantne velikosti, ki izboljšuje skaliranje, hkrati pa ohranja decentralizacijo in varnost. (avtor MinaProtocol).
  • 1.8k
  • Apache License 2.0

bincat

Statični analizator binarne kode z integracijo IDA. Izvaja analizo vrednosti in madežev, rekonstrukcijo tipa, zaznavanje brez uporabe po uporabi in dvojno brez.
  • 1.5k

merlin

Kontekstno občutljivo dokončanje za OCaml v Vimu in Emacsu.
  • 1.5k
  • MIT

dune

Sestavljiv gradbeni sistem za OCaml..
  • 1.4k
  • MIT

plzoo

Živalski vrt programskih jezikov.
  • 1.3k
  • MIT

dream

Urejeno spletno ogrodje s popolnimi funkcijami.
  • 1.2k
  • MIT

opam

opam je upravljalnik paketov, ki temelji na viru. Podpira več hkratnih namestitev prevajalnika, prilagodljive omejitve paketov in Gitu prijazen delovni tok razvoja.
  • 1.1k
  • GNU General Public License v3.0

book

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

owl

Owl – Znanstveno računalništvo OCaml @ http://ocaml.xyz.
  • 1.1k
  • MIT

SATySFi

Statično tipiziran, funkcionalen sistem stavljenja.
  • 1.1k
  • GNU Lesser General Public License v3.0 only

vpnkit

Komplet orodij za vdelavo zmogljivosti VPN v vašo aplikacijo.
  • 1.0k
  • Apache License 2.0

catala

Programski jezik za pismeno specifikacijo zakona o programiranju.
  • 995
  • Apache License 2.0

caramel

:candy: funkcionalen jezik za izdelavo tipsko varnih, razširljivih in vzdržljivih aplikacij.
  • 995
  • Apache License 2.0

js_of_ocaml

Prevajalnik iz OCaml v Javascript..
  • 853
  • GNU General Public License v3.0