Biblioteker skrevet i OCaml

flow

Tilføjer statisk indtastning til JavaScript for at forbedre udviklerproduktiviteten og kodekvaliteten.
  • 22.0k
  • MIT

infer

En statisk analysator til Java, C, C++ og Objective-C.
  • 14.2k
  • MIT

reason

Enkel, hurtig og skriv sikker kode, der udnytter JavaScript- og OCaml-økosystemerne.
  • 9.9k
  • MIT

semgrep

Letvægts statisk analyse for mange sprog. Find fejlvarianter med mønstre, der ligner kildekode..
  • 8.5k
  • GNU Lesser General Public License v3.0 only

pyre-check

Udførende typekontrol for python..
  • 6.4k
  • MIT

rescript-compiler

Compileren til ReScript..
  • 6.2k
  • GNU General Public License v3.0

google-drive-ocamlfuse

FUSE filsystem over Google Drev.
  • 5.1k
  • MIT

ocaml

Det centrale OCAml-system: compilere, runtime-system, basisbiblioteker.
  • 4.6k
  • GNU General Public License v3.0

coq

Coq er et formelt bevisstyringssystem. Det giver et formelt sprog til at skrive matematiske definitioner, eksekverbare algoritmer og teoremer sammen med et miljø til semi-interaktiv udvikling af maskinkontrollerede beviser.
  • 4.3k
  • GNU Lesser General Public License v3.0 only

Batsh

Et sprog, der kompilerer til Bash og Windows Batch.
  • 4.2k

magic-trace

magic-trace indsamler og viser højopløselige spor af, hvad en proces gør.
  • 4.1k
  • MIT

unison

Unison filsynkronisering (af bcpierce00).
  • 3.1k
  • GNU General Public License v3.0 only

pfff

Værktøjer til kodeanalyse, visualiseringer eller stilbevarende kildetransformation.
  • 2.4k
  • GNU General Public License v3.0

mirage

MirageOS er et biblioteksoperativsystem, der konstruerer unikke kerne.
  • 2.2k
  • ISC

comby

Et kodeomskrivningsværktøj til strukturel søgning og erstatning, der understøtter ~hvert sprog.
  • 2.1k
  • Apache License 2.0

bap

Binær analyseplatform.
  • 1.9k
  • MIT

mina

Mina er en ny kryptovaluta med en konstant størrelse blockchain, der forbedrer skalering, samtidig med at decentralisering og sikkerhed opretholdes. (af MinaProtocol).
  • 1.8k
  • Apache License 2.0

bincat

Binær kode statisk analysator, med IDA integration. Udfører værdi- og farveanalyse, typerekonstruktion, brug-efter-fri og dobbeltfri detektion.
  • 1.5k

merlin

Kontekstfølsom færdiggørelse for OCaml i Vim og Emacs.
  • 1.5k
  • MIT

dune

Et komponerbart byggesystem til OCaml..
  • 1.4k
  • MIT

plzoo

Programmeringssprog Zoo.
  • 1.3k
  • MIT

dream

Ryddig, funktionsfuld webramme.
  • 1.2k
  • MIT

opam

opam er en kildebaseret pakkehåndtering. Det understøtter flere samtidige compilerinstallationer, fleksible pakkebegrænsninger og en Git-venlig udviklingsworkflow.
  • 1.1k
  • GNU General Public License v3.0

book

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

owl

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

SATySFi

Et statisk maskinskrevet, funktionelt sættesystem.
  • 1.1k
  • GNU Lesser General Public License v3.0 only

vpnkit

Et værktøjssæt til at integrere VPN-funktioner i din applikation.
  • 1.0k
  • Apache License 2.0

catala

Programmeringssprog for litterær programmering lovspecifikation.
  • 995
  • Apache License 2.0

caramel

:candy: et funktionelt sprog til at bygge typesikre, skalerbare og vedligeholdelsesvenlige applikationer.
  • 995
  • Apache License 2.0

js_of_ocaml

Compiler fra OKaml til Javascript..
  • 853
  • GNU General Public License v3.0