Most popular ocaml repositories and open source projects

milewski-ctfp-pdf

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

548 10238 10238

reason

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

448 9885 9885

awesomo

Cool open source projects written in various languages.

655 8978 8978

revery

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

207 8022 8022

oni2

Native, lightweight modal code editor

279 7616 7616

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

ocaml

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

1002 4440 4440

klipse

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

151 3055 3055

awesome-ocaml

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

159 2422 2422

FStar

A Proof-oriented Programming Language

225 2419 2419

extism

The Universal Plug-in System. Extend anything with WebAssembly (wasm).

67 2300 2300

mirage

MirageOS is a library operating system that constructs unikernels

241 2131 2131

bap

Binary Analysis Platform

274 1817 1817

mina

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

399 1743 1743

irmin

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

155 1696 1696

nodebook

Nodebook - Multi-Lang Web REPL + CLI Code runner

87 1606 1606

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

dream

Tidy, feature-complete Web framework

98 1193 1193

opam

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

332 1086 1086

SATySFi

A statically-typed, functional typesetting system

80 1068 1068

42_Subjects

All Subjects of 42 School

267 1028 1028

caramel

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

24 992 992

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

angstrom

Parser combinators built for speed and memory efficiency

73 553 553

brisk

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

9 542 542

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

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

gcc_termux

Gcc for termux with fortran scipy etc... Use apt for newest updates in...

77 406 406