Most popular ocaml repositories and open source projects

milewski-ctfp-pdf

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF an...

602 11154 11154

reason

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

448 9885 9885

awesomo

Cool open source projects. Choose your project and get involved in Ope...

669 9503 9503

revery

:zap: Native, high-performance, cross-platform desktop apps - built wi...

197 8066 8066

oni2

Native, lightweight modal code editor

283 7842 7842

pyre-check

Performant type-checking for python.

427 6393 6393

rescript-compiler

The compiler for ReScript.

427 6169 6169

google-drive-ocamlfuse

FUSE filesystem over Google Drive

353 5033 5033

extism

The framework for building with WebAssembly (wasm). Easily load wasm m...

133 4755 4755

ocaml

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

1002 4440 4440

klipse

Klipse is a JavaScript plugin for embedding interactive code snippets...

148 3121 3121

awesome-ocaml

A curated collection of awesome OCaml tools, frameworks, libraries and...

172 2868 2868

FStar

A Proof-oriented Programming Language

225 2419 2419

mirage

MirageOS is a library operating system that constructs unikernels

241 2131 2131

irmin

Irmin is a distributed database that follows the same design principle...

159 1873 1873

bap

Binary Analysis Platform

274 1817 1817

mina

Mina is a new cryptocurrency with a constant size blockchain, improvin...

399 1743 1743

dream

Tidy, feature-complete Web framework

140 1664 1664

nodebook

Nodebook - Multi-Lang Web REPL + CLI Code runner

84 1643 1643

tezos

Mirror of the release branches for Tezos, a self-amending cryptographi...

212 1503 1503

merlin

Context sensitive completion for OCaml in Vim and Emacs

224 1489 1489

dune

A composable build system for OCaml.

346 1346 1346

opam

opam is a source-based package manager. It supports multiple simultane...

372 1282 1282

caramel

:candy: a functional language for building type-safe, scalable, and ma...

25 1071 1071

SATySFi

A statically-typed, functional typesetting system

80 1068 1068

42_Subjects

All Subjects of 42 School

267 1028 1028

js_of_ocaml

Compiler from OCaml to Javascript.

170 835 835

ocaml-multicore

Multicore OCaml

71 759 759

felix

The Felix Programming Language

45 735 735

reason-react

44 634 634

rhine-ml

🏞 an OCaml compiler for an untyped lisp

24 630 630

ocaml-cohttp

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

158 623 623

lwt

OCaml promises and concurrent I/O

171 618 618

ocaml-graphql-server

GraphQL servers in OCaml

59 613 613

hazel

Hazel, a live functional programming environment with typed holes

41 599 599

bucklescript-tea

TEA for Bucklescript

40 593 593

query-json

Faster, simpler and more portable implementation of `jq` in Reason

6 571 571

brisk

✨Cross-platform set of tools for building native UIs with Reason/OCam...

9 554 554

angstrom

Parser combinators built for speed and memory efficiency

73 553 553

ocamlformat

Auto-formatter for OCaml code

163 523 523

httpaf

A high performance, memory efficient, and scalable web server written...

50 521 521

tablecloth

A standard library with the same API in F#, Rescript and OCaml

45 507 507

reason-design-patterns

🗺 An unofficial collection of "design patterns" for ReScript, Reason,...

21 457 457

CAMLBOY

A Game Boy emulator written in OCaml that runs in your browser 🐫 🎮

27 445 445

ocaml-containers

A lightweight, modular standard library extension, string library, and...

78 439 439

opam-repository

Main public package repository for opam, the source package manager of...

986 428 428

ocaml-torch

OCaml bindings for PyTorch

37 422 422

vult

Vult is a transcompiler well suited to write high-performance DSP code

24 420 420

NEAL

🔎🐞 A language-agnostic linting platform

31 419 419

sketch-sh

Sketch.sh - Online Code Editor and ReasonML community

34 416 416