ocaml
There are 2988 repositories under ocaml topic.
hmemcpy/milewski-ctfp-pdf
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
reasonml/reason
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
lk-geimfari/awesomo
Cool open source projects. Choose your project and get involved in Open Source development now.
revery-ui/revery
:zap: Native, high-performance, cross-platform desktop apps - built with Reason!
onivim/oni2
Native, lightweight modal code editor
facebook/pyre-check
Performant type-checking for python.
ocaml/ocaml
The core OCaml system: compilers, runtime system, base libraries
astrada/google-drive-ocamlfuse
FUSE filesystem over Google Drive
extism/extism
The framework for building with WebAssembly (wasm). Easily & securely load wasm modules, move data, call functions, and build extensible apps.
viebel/klipse
Klipse is a JavaScript plugin for embedding interactive code snippets in tech blogs.
ocaml-community/awesome-ocaml
A curated collection of awesome OCaml tools, frameworks, libraries and articles.
FStarLang/FStar
A Proof-oriented Programming Language
mirage/mirage
MirageOS is a library operating system that constructs unikernels
BinaryAnalysisPlatform/bap
Binary Analysis Platform
MinaProtocol/mina
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
mirage/irmin
Irmin is a distributed database that follows the same design principles as Git
ocaml/dune
A composable build system for OCaml.
aantron/dream
Tidy, feature-complete Web framework
netgusto/nodebook
Nodebook - Multi-Lang Web REPL + CLI Code runner
ocaml/merlin
Context sensitive completion for OCaml in Vim and Emacs
tezos/tezos
Mirror of the release branches for Tezos, a self-amending cryptographic ledger
ocaml/opam
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
gfngfn/SATySFi
A statically-typed, functional typesetting system
leostera/caramel
:candy: a functional language for building type-safe, scalable, and maintainable applications
ocsigen/js_of_ocaml
Compiler from OCaml to Javascript.
hazelgrove/hazel
Hazel, a live functional programming environment with typed holes
terrateamio/terrateam
Terrateam is open-source GitOps infrastructure orchestration. It integrates with GitHub to automate Terraform, OpenTofu, CDKTF, Terragrunt, and Pulumi workflows through pull requests.
felix-lang/felix
The Felix Programming Language
ocsigen/lwt
OCaml promises and concurrent I/O
ocaml-multicore/ocaml-multicore
Multicore OCaml
mirage/ocaml-cohttp
An OCaml library for HTTP clients and servers using Lwt or Async
inhabitedtype/angstrom
Parser combinators built for speed and memory efficiency
ocaml-ppx/ocamlformat
Auto-formatter for OCaml code
ocaml-multicore/eio
Effects-based direct-style IO for multicore OCaml
riot-ml/riot
An actor-model multi-core scheduler for OCaml 5 🐫