Top 1615 ocaml open source projects

Faster and simpler implementation of jq in Reason Native

💠 Converts Flow and TypeScript definitions to Reason interfaces

An interpreter for finding subtle bugs in programs written in standard C

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

HTML 5 canvas implementation of Mario written in Ocaml

OCaml promises and concurrent I/O

Standard library for OCaml

a little game

An ergonomic, cross-platform, standard library for ReasonML and OCaml

A compile time transformation from JavaScript to OCaml, along with an OCaml implementation of the JavaScript builtin library.

A high performance, memory efficient, and scalable web server written in OCaml

Adds static typing to JavaScript to improve developer productivity and code quality.

Parser combinators built for speed and memory efficiency

FUSE filesystem over Google Drive

A language that compiles to Bash and Windows Batch

Batteries Included project

Concurrent Programming with Effect Handlers (CUFP'17)

Sketch.sh - Online Code Editor and ReasonML community

🔎🐞 A language-agnostic linting platform

Auto-formatter for OCaml code

Functional language for parallel programming

Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)

🗺 An unofficial collection of "design patterns" for Reason and OCaml

Programming language for literate programming law specification

cwe_checker finds vulnerable patterns in binary executables

moved from https://sourceforge.net/p/min-caml/code/

A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.

Adds Reason to the browser

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

All the examples in Real World OCaml

The DeepSEA programming language

Hazel, a live functional programming environment with typed holes

Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

OCaml Language Server Protocol implementation

GraphQL PPX rewriter for Bucklescript/ReasonML

The Hindley Milner Type Inference Algorithm

SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

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

Type-driven code generation for OCaml

Pure OCaml Git format and protocol

OCaml bindings for PyTorch

ReasonML React Native App for SeattleJS Conf

The Xapi Project's XenAPI Server

Hardcaml is an OCaml library for designing hardware.

Bamboo see https://github.com/cornellblockchain/bamboo

Implementation of the ocaml.org website.

BuckleScript bindings to the DOM and other Web APIs

A DNS server that automatically starts unikernels on demand

the core 0install package