#

OCaml

OCaml is a general purpose industrial-strength programming language with an emphasis on expressiveness and safety, It is supporting functional, imperative and object-oriented styles.

Here are 2,177 public repositories matching this topic...

reasonml / reason

Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems

javascript programming-language ocaml reasonml reason

Updated Mar 22, 2025
OCaml

facebook / pyre-check

Performant type-checking for python.

python security typechecker static-analysis ocaml control-flow-analysis code-quality program-analysis taint-analysis abstract-interpretation type-check

Updated Mar 26, 2025
OCaml

ocaml

ocaml / ocaml

The core OCaml system: compilers, runtime system, base libraries

compiler ocaml functional-language

Updated Mar 25, 2025
OCaml

astrada / google-drive-ocamlfuse

FUSE filesystem over Google Drive

fuse filesystem ocaml google-drive

Updated Jan 17, 2025
OCaml

mirage / mirage

MirageOS is a library operating system that constructs unikernels

linux xen ocaml opam kvm mirageos unikernel

Updated Mar 4, 2025
OCaml

BinaryAnalysisPlatform / bap

Binary Analysis Platform

emulator security arm mips static-analysis ocaml reverse-engineering disassembler symbolic-execution bap x86 dynamic-analysis binary-analysis instruction-semantics program-analysis taint-analysis powerpc program-verification lifter

Updated Mar 17, 2025
OCaml

MinaProtocol / mina

Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.

ocaml blockchain cryptocurrency mina zk-snarks

Updated Mar 26, 2025
OCaml

mirage / irmin

Irmin is a distributed database that follows the same design principles as Git

git database storage ocaml mirageos irmin

Updated Mar 19, 2025
OCaml

ocaml / dune

A composable build system for OCaml.

build ocaml opam jbuilder dune

Updated Mar 25, 2025
OCaml

aantron / dream

Tidy, feature-complete Web framework

graphql http framework web websockets ocaml reasonml

Updated Dec 20, 2024
OCaml

ocaml / merlin

Context sensitive completion for OCaml in Vim and Emacs

atom vim emacs ocaml

Updated Mar 17, 2025
OCaml

opam

ocaml / opam

opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

git package-manager ocaml opam

Updated Mar 14, 2025
OCaml

gfngfn / SATySFi

A statically-typed, functional typesetting system

programming-language pdf latex functional-programming ocaml opentype markup-language opam pdf-generation typesetting-system satysfi

Updated Jan 20, 2025
OCaml

caramel

leostera / caramel

🍬 a functional language for building type-safe, scalable, and maintainable applications

erlang elixir compiler ocaml type-safe functional-language caramel

Updated Sep 25, 2023
OCaml

ocsigen / js_of_ocaml

Compiler from OCaml to Javascript.

javascript compiler ocaml ocsigen jsoo

Updated Mar 25, 2025
OCaml

ocaml-multicore / ocaml-multicore

Multicore OCaml

algebraic-effects ocaml concurrency handlers multicore

Updated Dec 9, 2022
OCaml

ocsigen / lwt

OCaml promises and concurrent I/O

promises events asynchronous ocaml fibers lwt concurency io futures

Updated Mar 7, 2025
OCaml

mirage / ocaml-cohttp

An OCaml library for HTTP clients and servers using Lwt or Async

http unix ocaml http-client lwt

Updated Mar 17, 2025
OCaml

inhabitedtype / angstrom

Parser combinators built for speed and memory efficiency

parsing parser-combinators ocaml

Updated Sep 12, 2024
OCaml

ocaml-ppx / ocamlformat

Auto-formatter for OCaml code

ocaml

Updated Mar 25, 2025
OCaml

Created by Xavier Leroy

Released 1996

Latest release 3 months ago

Followers: 290 followers
Repository: ocaml/ocaml
Website: ocaml.org
Wikipedia: Wikipedia