Most popular ocaml repositories and open source projects

mirage-xen

Xen core platform libraries for MirageOS

20   19   19  

postgres-protocol

IO independent postgres protocol implementation

1   19   19  

ocaml-radixmap

Map à la Binary Radix Tree

0   19   19  

talaria_bibtex

A bibtex file parser

0   19   19  

rss_to_mail

Sends an email for every new entries on RSS feeds.

3   19   19  

kqueue-ml

OCaml bindings to kqueue

0   19   19  

yuujinchou

👹 A library for handling namespaces and scopes

0   19   19  

acutis

A declarative, type-safe template language

0   19   19  

phat

Strongly typed file path and file system operations.

4   19   19  

reason-rt-binding-generator

Reason binding generator for react-toolbox

0   18   18  

bs-remotedata

RemoteData and WebData to use with bs-fetch for BuckleScript

6   18   18  

punchscript

A programming language made up of Rajinikanth punch dialogues

1   18   18  

ocaml-cuid

CUID generator for OCaml. :id: :camel: :1234: :gear:

1   18   18  

ocaml-scrypt-kdf

Scrypt key derivation function in pure OCaml as defined in https://too...

3   18   18  

ACPC

Chemoinformatics tool for ligand-based virtual screening

2   18   18  

ctypes-stubs-generation-notes

OCaml Ctypes stubs generation notes

1   18   18  

pml

New version of the PML language and (classical) proof assistant

2   18   18  

linol

Wrapper around the OCaml `lsp` library to make it easier to write LSP...

4   18   18  

odoc-parser

An OCaml library for parsing documentation comments written in 'odoc m...

14   18   18  

ortac

Runtime assertion checking based on Gospel specifications

6   18   18  

tiger

Compiler for Tiger language from "Modern Compiler Implementation in...

0   18   18  

mugen

♾️ A library for universe levels and universe polymorphism

0   18   18  

futhark-bindgen

A Futhark binding generator for Rust and OCaml

1   18   18  

dream-html

Generate HTML markup from your Dream backend server

0   18   18  

ocaml-pb-plugin

A protoc plugin for generating OCaml code from protobuf (.proto) files...

2   17   17  

sapapa

A soothing CouchDB client for Reason and OCaml

1   17   17  

sessions

Library to provide session types to allow for static verification of p...

0   17   17  

spin-templates

Official templates for Spin.

3   17   17  

jupyter-kernel

Library for writing arbitrary jupyter kernels in OCaml.

1   17   17  

mirage-framebuffer

Experimental portable bitmap framebuffer graphics for MirageOS

2   17   17  

cfg

OCaml library for manipulating context-free grammars

0   17   17  

bymc

Byzantine model checker

5   17   17  

ocaml-junit

OCaml package to produce JUnit xml reports

2   17   17  

olinq

LINQ-like combinators for manipulating collections of in-memory data

0   17   17  

revery-playground

Live, interactive playground for Revery examples

4   17   17  

ocaml-type-classes

OCaml Type Classes

0   17   17  

otfed

An OpenType font format encoder & decoder written in OCaml

0   17   17  

eye-of-mirage

WiP image viewer using MirageOS

2   17   17  

ocaml-gemini

OCaml REST and WebSockets client for the Gemini Trading Exchange.

1   17   17  

ppx_defer

OCaml extension for a Go-ish [%defer ...] syntax

1   17   17  

cfstream

Stream operations in the style of Core's API.

5   17   17  

sqlite3_utils

[beta] High-level wrapper around ocaml-sqlite3

0   17   17  

gopcaml-mode

[MIRROR] Ultimate Ocaml Editing Mode

0   17   17  

ocaml-avro

Runtime library and schema compiler for the Avro serialization format

1   17   17  

caml8

A CHIP8 emulator written in OCaml

1   17   17  

glMLite

OCaml bindings for OpenGL

2   17   17  

intellij-ocaml

This plugin is providing support for OCaml in IntelliJ. It's based on...

2   17   17  

dscheck

Experimental model checker for testing concurrent algorithms

5   17   17  

jsonoo

JSON library for Js_of_ocaml

0   17   17  

lwt-zmq

DEPRECATED - Use the main ocaml-zmq project instead

7   16   16