Most popular ocaml repositories and open source projects

ocaml-language-server ocaml-lsp TypeScript

Language server for OCaml and Reason

34 0 34

ocaml-decimal yawaramin OCaml

Arbitrary-precision floating-point decimals

34 5 2

CamlFeatherweight MaskRay OCaml

Bytecode compiler of a variant of Caml

34 3 4

seaman canonicalise OCaml

Interactive EBNF and SLR(1) parsing workbench written in OCaml

34 3 0

petrol Gopiandcode OCaml

Petrol's an OCaml SQL API made to go FAST.

33 1 33

h2 anuragsoni OCaml

HTTP/2 types and framing for ocaml

33 0 5

benchpress sneeuwballen OCaml

Testing and benchmarking tool for logic-related programs.

33 9 5

ocamleditor ftovagliari OCaml

OCamlEditor is a source code editor and build tool for OCaml. It provides many features to facilitate editing code, accessing API reference directly...

33 5 6

from-typescript-to-rescript greyblake TypeScript

Frontend of https://Inhyped.com written in TypeScript and rewritten in ReScript

33 0 4

ocaml-pandoc smimram OCaml

An OCaml library for creating pandoc filters.

33 4 1

ocaml-tracy ocaml-tracing OCaml

Bindings to the Tracy profiler.

33 1 4

toy-macro-ml gfngfn OCaml

An implementation of MacroML [Ganz, Sabry & Taha 2001]

33 1 1

cachecache pascutto OCaml

Efficient caching library for OCaml

33 4 4

futhark-bindgen zshipko Rust

A Futhark binding generator for Rust and OCaml

32 7 2

ocamlsyntax.com ianthehenry CSS

How do you do that recursive GADT thing again?

32 6 1

chapar rocq-community Coq

A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]

32 7 11

qcaml qcaml OCaml

Lightweight library to experiment with quantum states, gates and simulating quantum algorithms.

32 1 0

oseq c-cube OCaml

Purely functional iterators compatible with standard `seq`.

32 5 1

strid smimram OCaml

A string diagram generator for LaTeX.

32 0 1

fpv-tutorial-SS23 ManuelLerchner OCaml

Materialien für das FPV-Tutorium im Sommersemester 2023

32 4 1

emile mirage OCaml

& images

32 2 4

oraft komamitsu OCaml

Library of Raft consensus algorithm implemented in OCaml

32 3 2

memthol OCamlPro Rust

Memthol is a visualizer for memory profiling data generated from OCaml programs.

31 3 5

ocaml-css-parser astrada OCaml

A CSS parser written in OCaml

31 5 4

bs-dynamic-import arialpew JavaScript

📦🚀 BuckleScript dynamic import interop on JavaScript environment

31 1 2

rebez jchavarri OCaml

Cubic bezier implementation in Reason / OCaml.

31 3 2

prometo yawaramin Reason

A type-safe JavaScript promise library for ReasonML

31 1 1

OCamURL-server donut OCaml

A URL shortener server with a GraphQL API written in OCaml.

31 1 0

obi ocaml-attic OCaml

OCaml Build Infrastructure

31 8 6

mwt hcarty OCaml

Medium weight threads - preemptive thread pools for Lwt

31 3 2

ocaml_python_bindgen mooreryan OCaml

Generate Python bindings via pyml from OCaml value specifications

31 2 2

calculon c-cube OCaml

Library for writing IRC bots in OCaml, a collection of plugins, and a dramatic robotic actor.

31 5 4

asak nobrakal OCaml

Identifying similar OCaml codes

31 3 3

cdetect xyproto Go

:microscope: Detect which compiler and compiler version a Linux executable (in the ELF format) was compiled with

31 1 2

pl-checker Jhuni0123 OCaml

2017F Programming Language Homework Checker

31 22 3

obts_exn fabbing TeX

OCaml behind the scenes: exceptions

31 1 1

camlgrad jewelltaylor OCaml

Toy autograd engine in OCaml with Apple Accelerate backend

31 0 1

system_f_omega tominated OCaml

My Attempt at System Fω with Row-Polymorphism

31 1 2

ezcurl c-cube OCaml

A simple wrapper around OCurl.

31 7 1

ppx_minidebug lukstafi OCaml

Formatted logs of type-annotated let-bound values, function arguments and results, `if` and `match` branches taken. Optionally, as collapsible HTML or...

31 1 1