Top 1615 ocaml open source projects

Coq to Rust program extraction. The whole tree is on the original Coq code base.

A cheat sheet for ReasonML -- WIP

Scilla - A Smart Contract Intermediate Level Language

GraphQL language primitives for ReScript/ReasonML written in ReasonML

Visual Studio Code extension for OCaml

css-in-reason

Browser-based GTD (TODO list) system. No server needed.

An Elm to OCaml compiler

Experimental analyses for OCaml/ReScript: for globally dead values/types, exception analysis, and termination analysis.

Declarative definition of command line interfaces for OCaml

Indentation tool for OCaml, to be used from editors like Emacs and Vim.

An OCaml kernel for Jupyter (IPython) notebook

A compiler for a tiny (but growing!) subset of C, written in OCaml.

Cooperative-threaded access to relational data

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

"Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory

Execute code blocks inside markdown files

a book about ocaml

Pure OCaml regular expressions, with support for Perl and POSIX-style strings

GeneWeb is an open source genealogy software with a web interface created by Daniel de Rauglaudre.

A Proof-oriented Programming Language

Spartan type theory

A static analyzer for Java, C, C++, and Objective-C

Terminal manipulation library for OCaml

Examples of simple MirageOS apps

✨🐢 Dead simple tool for seamlessly integrating ReasonML into existing JavaScript projects.

A Web Application for Learning OCaml

Quick Start / Sample Revery Application

The Easy 8-bit Processor

Tutorial on Multicore OCaml parallel programming with domainslib

Infrastructure for Reassembleable Disassembling and Transformation

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

PDF Command Line Tools Source

An OCaml custom runtime for AWS Lambda

OCaml graph library

🐒 Clean UI based on tailwindcss

OCaml, Meet Web.

Unison is a file-synchronization tool for POSIX-compliant systems (e.g. *BSD and GNU/Linux), macOS and Windows, with the caveat that the platform must be supported by OCaml. It allows two replicas of a collection of files and directories to be stored on different hosts (or different disks on the same host), modified separately, and then brought up to date by propagating the changes in each replica to the other.

File Diff using the Patience Diff algorithm. https://opensource.janestreet.com/patdiff/

CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory

An OCaml lexer generator for Unicode

Prototype type inference engine

Jane Street Capital's asynchronous execution library

This project aims at being able to export Kicad Sch files to structured picture files

Higher-kinded programming in OCaml

Elm architecture and (V)DOM for OCaml

PDF pager

ReScript's newest syntax as a standalone repo.