Top 1615 ocaml open source projects

A library for building dynamic webapps, using Js_of_ocaml.

Library for binding to C libraries using pure OCaml

KreMLin is a tool for extracting low-level F* programs to readable C code

A PDF parser and validator

Functional HTML scraping and rewriting with CSS in OCaml

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

TCP/IP networking stack in pure OCaml, using the Mirage platform libraries. Includes IPv4/6, ICMP, and UDP/TCP support.

Ramda inspired library of helper functions for ReasonML

OCaml bindings for TensorFlow

🙃 Like mojibar, but written in reasonml

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

Ready up!

A proof assistant for general type theories

The HOL Light theorem prover

Malfunctional Programming

Compositional JSON encode/decode library for BuckleScript

A modular functional web framework

C Intermediate Language

Learn ReasonML with 24 exercises. No prior functional programming knowledge required.

BuckleScript bindings for Jest

TLS in pure OCaml

Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python

WebAssembly specification, reference interpreter, and test suite.

Please file issues or pull requests here: https://github.com/dotnet/fsharp

DO NOT CHECK OUT THESE FILES FROM GITHUB UNLESS YOU KNOW WHAT YOU ARE DOING. (See below.)

Keystone assembler framework: Core (Arm, Arm64, Hexagon, Mips, PowerPC, Sparc, SystemZ & X86) + bindings

A toolkit for building secure, portable and lean operating systems for containers

The Z3 Theorem Prover

Capstone disassembly/disassembler framework: Core (Arm, Arm64, BPF, EVM, M68K, M680X, MOS65xx, Mips, PPC, RISCV, Sparc, SystemZ, TMS320C64x, Web Assembly, X86, X86_64, XCore) + bindings.

Haxe - The Cross-Platform Toolkit

A virtual machine for executing programs written in Hack.

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

A toolkit for embedding hypervisor capabilities in your application

Arbitrary kext and process patching on macOS

No description, website, or topics provided.

Pure OCaml implementation of Zlib.

A toolkit to manipulate Scribble-style multiparty protocols, based on classical multiparty session type theory.

Forgetful Bloom filters

The Ynot Project source code.

Course Materials for CS 3110 Spring 2020

Type-safe bitcoin full-node

a mirage kernel using esy

An interactive tutorial to begin learning with OCaml

No description, website, or topics provided.

Sworn compiles Clarity smart contracts into SmartWeave contracts.

Easy to use and user-friendly topological sort module for OCaml

No description, website, or topics provided.

OCaml for PIC microcontrollers

Tracking code patterns through software versions

Browser programming toolkit for OCaml