Most popular ocaml repositories and open source projects

lambda-term

Terminal manipulation library for OCaml

39   196   196  

qubes-mirage-firewall

A Mirage firewall VM for QubesOS

29   195   195  

redtt

"Between the darkness and the dawn, a red cube rises!": a proof assis...

12   194   194  

reasonml-cheat-sheet

A cheat sheet for ReasonML -- WIP

7   185   185  

morbig

A static parser for POSIX Shell

7   181   181  

vscode-ocaml

An extension for VS Code which provides support for the OCaml language...

26   173   173  

revery-quick-start

Quick Start / Sample Revery Application

30   172   172  

Beluga

Contextual types meet mechanized metatheory!

14   172   172  

setup-ocaml

GitHub Action for the OCaml programming language

23   172   172  

fullstack-reason

A demo project that shows a fullstack ReasonML/OCaml app–native binary...

14   166   166  

add-reason

:sparkles::turtle: Dead simple tool for seamlessly integrating ReasonM...

1   165   165  

tyre

Typed Regular Expressions

3   164   164  

dometyl-keyboard

A parametric generator for designing split, concave, ergonomic keyboar...

18   164   164  

ocaml-protoc

A Protobuf Compiler for OCaml

27   160   160  

ocamlverse.github.io

Documentation of everything relevant in the OCaml world

62   159   159  

liquidity

A high-level language for Dune Network (and Tezos) with OCaml and Reas...

35   158   158  

lablqml

Interfacing Qt/QML with OCaml. Formely known as lablqt

17   156   156  

evilml

A compiler from ML to C++ template language

4   155   155  

piaf

Web library for OCaml with support for HTTP/1.X / HTTP/2

19   154   154  

Frama-C-snapshot

Release snapshots of the Frama-C platform for source code analysis

34   151   151  

ocamlearlybird

OCaml debug adapter

17   150   150  

bs-loader

:radio: Bucklescript loader for Webpack and Jest

22   144   144  

reason-expo

ReasonML bindings for Expo

23   143   143  

markup.ml

Error-recovering streaming HTML5 and XML parsers

13   143   143  

morph

A webframework for Reason and OCaml

7   142   142  

tyxml

Build valid HTML and SVG documents

54   140   140  

Sesterl

An ML-like statically-typed Erlang

6   140   140  

postgresql-ocaml

OCaml-bindings for the PostgreSQL database

21   137   137  

jsoo-react

js_of_ocaml bindings for ReactJS. Based on ReasonReact.

19   135   135  

bogue

GUI library for ocaml based on SDL2

9   133   133  

preface

Preface is an opinionated library designed to facilitate the handling...

6   132   132  

braid

A functional language with Reason-like syntax that compiles to Go.

3   130   130  

albatross

Albatross: orchestrate and manage MirageOS unikernels with Solo5

14   130   130  

brisk-reconciler

React.js-like reconciler implemented in OCaml/Reason

16   129   129  

pure-fun

Purely functional data structures for OCaml, translated from Chris Oka...

15   129   129  

ocaml-aws

Generated OCaml bindings for Amazon Web Services

30   128   128  

SPOC

Stream Processing with OCaml

9   128   128  

faraday

Serialization library built for speed and memory efficiency

21   125   125  

nanocaml

Nanopass for OCaml

7   124   124  

oasis

Cabal like system for OCaml

44   123   123  

ocurrent

Keeps things up-to-date (a CI/CD pipeline OCaml eDSL)

34   122   122  

reason-mode

Emacs major mode for working with ReasonML

27   121   121  

routes

typed bidirectional router for OCaml/ReasonML web applications

10   120   120  

wanderers

An open world adventure and dungeon crawling game

3   120   120  

ocaml-csv

CSV library for OCaml

23   119   119  

Canopy

A git-blogging unikernel written using MirageOS

27   119   119  

analyzer

Static analysis framework for C

59   119   119  

pgx

A pure OCaml PostgreSQL client library

15   118   118  

lacaml

OCaml bindings for BLAS/LAPACK (high-performance linear algebra Fortra...

16   118   118  

zed

Abstract engine for text edition in OCaml

15   118   118