Biblioteke napisane u OCamlu

flow

Dodaje statično tipkanje u JavaScript za poboljšanje produktivnosti programera i kvalitete koda..
  • 22.0k
  • MIT

infer

Statički analizator za Javu, C, C++ i Objective-C.
  • 14.2k
  • MIT

reason

Jednostavan, brz i siguran kôd koji iskorištava JavaScript i OCaml ekosustave.
  • 9.9k
  • MIT

semgrep

Lagana statička analiza za mnoge jezike. Pronađite varijante bugova s ​​uzorcima koji izgledaju kao izvorni kod..
  • 8.5k
  • GNU Lesser General Public License v3.0 only

pyre-check

Učinkovita provjera tipa za python..
  • 6.4k
  • MIT

rescript-compiler

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

google-drive-ocamlfuse

FUSE datotečni sustav preko Google diska.
  • 5.1k
  • MIT

ocaml

Osnovni OCaml sustav: kompajleri, runtime sustav, osnovne biblioteke.
  • 4.6k
  • GNU General Public License v3.0

coq

Coq je formalni sustav upravljanja dokazima. Omogućuje formalni jezik za pisanje matematičkih definicija, izvršnih algoritama i teorema zajedno s okruženjem za poluinteraktivni razvoj strojno provjerenih dokaza.
  • 4.3k
  • GNU Lesser General Public License v3.0 only

Batsh

Jezik koji se kompajlira u Bash i Windows Batch.
  • 4.2k

magic-trace

magic-trace prikuplja i prikazuje tragove visoke rezolucije onoga što proces radi.
  • 4.1k
  • MIT

unison

Unison sinkronizator datoteka (autor bcpierce00).
  • 3.1k
  • GNU General Public License v3.0 only

pfff

Alati za analizu koda, vizualizacije ili transformaciju izvora koja čuva stil..
  • 2.4k
  • GNU General Public License v3.0

mirage

MirageOS je knjižnični operativni sustav koji konstruira jedinstvene jezgre.
  • 2.2k
  • ISC

comby

Alat za prepisivanje koda za strukturno pretraživanje i zamjenu koji podržava ~svaki jezik..
  • 2.1k
  • Apache License 2.0

bap

Platforma za binarnu analizu.
  • 1.9k
  • MIT

mina

Mina je nova kriptovaluta s blockchainom konstantne veličine, poboljšava skaliranje uz održavanje decentralizacije i sigurnosti. (prema MinaProtocol).
  • 1.8k
  • Apache License 2.0

bincat

Statički analizator binarnog koda, s IDA integracijom. Obavlja analizu vrijednosti i kvarova, rekonstrukciju tipa, detekciju upotrebe nakon upotrebe i dvostruku detekciju.
  • 1.5k

merlin

Dovršavanje osjetljivo na kontekst za OCaml u Vimu i Emacsu.
  • 1.5k
  • MIT

dune

Sastavljiv sustav za izgradnju za OCaml..
  • 1.4k
  • MIT

plzoo

Programski jezici Zoo.
  • 1.3k
  • MIT

dream

Uredan web okvir s kompletnim značajkama.
  • 1.2k
  • MIT

opam

opam je upravitelj paketa temeljen na izvornom jeziku. Podržava višestruke istodobne instalacije prevoditelja, fleksibilna ograničenja paketa i tijek rada prilagođen Gitu.
  • 1.1k
  • GNU General Public License v3.0

book

V2 stvarnog svijeta OCaml (autor realworldocaml).
  • 1.1k
  • GNU General Public License v3.0

owl

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

SATySFi

Statički tipizirani funkcionalni sustav slaganja.
  • 1.1k
  • GNU Lesser General Public License v3.0 only

vpnkit

Skup alata za ugradnju VPN mogućnosti u vašu aplikaciju.
  • 1.0k
  • Apache License 2.0

catala

Programski jezik za pismenu specifikaciju zakona programiranja.
  • 995
  • Apache License 2.0

caramel

:candy: funkcionalni jezik za izgradnju aplikacija sigurnih za tip, skalabilnih i održivih.
  • 995
  • Apache License 2.0

js_of_ocaml

Kompajler iz OCamla u Javascript..
  • 853
  • GNU General Public License v3.0