Most popular ocaml repositories and open source projects

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

rocq-simple-io Lysxia Rocq Prover

IO for Gallina

34 9 1

oraft komamitsu OCaml

Library of Raft consensus algorithm implemented in OCaml

34 3 2

h2 anuragsoni OCaml

HTTP/2 types and framing for ocaml

33 0 5

oonta fuad1502 Rust

OCaml (subset) to LLVM IR compiler front-end 🐪

33 0 0

ocaml-pandoc smimram OCaml

An OCaml library for creating pandoc filters.

33 4 1

toy-macro-ml gfngfn OCaml

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

33 1 1

cascade samoht OCaml

Typed CSS AST, parser, pretty-printer, and optimiser for OCaml

33 0 0

petrol Gopiandcode OCaml

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

33 1 33

futhark-bindgen zshipko Rust

A Futhark binding generator for Rust and OCaml

33 7 2

from-typescript-to-rescript greyblake TypeScript

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

33 0 4

cachecache pascutto OCaml

Efficient caching library for OCaml

33 4 4

ocaml-tracy ocaml-tracing OCaml

Bindings to the Tracy profiler.

33 1 4

strid smimram OCaml

A string diagram generator for LaTeX.

32 0 1

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...

32 5 6

qcaml qcaml OCaml

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

32 1 0

fpv-tutorial-SS23 ManuelLerchner OCaml

Materialien für das FPV-Tutorium im Sommersemester 2023

32 4 1

ocaml-decimal yawaramin OCaml

Arbitrary-precision floating-point decimals

32 5 2

ocamlsyntax.com ianthehenry CSS

How do you do that recursive GADT thing again?

32 6 1

starlight szktty OCaml

[WIP] Yet another Erlang implementation in Rust

32 2 5

emile mirage OCaml

& images

32 2 4

asak nobrakal OCaml

Identifying similar OCaml codes

32 3 3

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

benchpress sneeuwballen OCaml

Testing and benchmarking tool for logic-related programs.

32 9 5

obts_exn fabbing TeX

OCaml behind the scenes: exceptions

31 1 1

tw samoht OCaml

Type-safe Tailwind CSS in OCaml - A lightweight utility-first CSS generation library with prose typography support, responsive modifiers, and minima...

31 4 0

pl-checker Jhuni0123 OCaml

2017F Programming Language Homework Checker

31 22 3

rebez jchavarri OCaml

Cubic bezier implementation in Reason / OCaml.

31 3 2

ezcurl c-cube OCaml

A simple wrapper around OCurl.

31 7 1

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

ocaml_python_bindgen mooreryan OCaml

Generate Python bindings via pyml from OCaml value specifications

31 2 2

oseq c-cube OCaml

Purely functional iterators compatible with standard `seq`.

31 5 1

cdetect xyproto Go

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

31 1 2

mwt hcarty OCaml

Medium weight threads - preemptive thread pools for Lwt

31 4 2

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