Discover the top trending OCaml repositories and projects on Github. Explore the latest trends in OCaml development.

Trending Repositories

1

semgrep

Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
🔥🔥🔥
2

odiff

The fastest pixel-by-pixel image visual difference tool in the world.
🔥🔥
3

riot

An actor-model multi-core scheduler for OCaml 5 🐫
🔥
4

unison

Unison file synchronizer
🔥
5

hax

A Rust verification tool
🔥
6

docfd

TUI multiline fuzzy document finder
📣
7

infer

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

magic-trace

magic-trace collects and displays high-resolution traces of what a process is doing
📣
9

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
📣
10

picos

Interoperable effects based concurrency
📣
11

minttea

A fun little TUI framework for OCaml
📣
12

rescript-compiler

The compiler for ReScript.
📣
13

dream

Tidy, feature-complete Web framework
📣
14

austral

Systems language with linear types and capability-based security.
📣
15

comby

A code rewrite tool for structural search and replace that supports ~every language.
⬆️
16

ocaml

The core OCaml system: compilers, runtime system, base libraries
⬆️
17

miou

A simple scheduler for OCaml 5
⬆️
18

dream-html

Generate HTML markup from your Dream backend server
⬆️
19

melange

A mixture of tooling combined to produce JavaScript from OCaml & Reason
⬆️
20

pyre-check

Performant type-checking for python.
⬆️
21

kcas

Software Transactional Memory for OCaml
⬆️
22

soupault

Static website generator based on HTML element tree rewriting
⬆️
23

catala

Programming language for literate programming law specification
⬆️
24

alcotest

A lightweight and colourful test framework
⬆️
25

eio

Effects-based direct-style IO for multicore OCaml
⬆️
26

mirage-torrent

WIP
⬆️
27

mollymawk

A web interface for albatross
⬆️
28

possum_parser_language

A tiny text parsing language
⬆️
29

flow

Adds static typing to JavaScript to improve developer productivity and code quality.
⬆️
30

ocaml-lsp

OCaml Language Server Protocol implementation
⬆️
31

ocaml-protoc-plugin

Plugin for Google's protobuf compiler to generate interfaces based on protobuf specifications and runtime for encoding and decoding protobuf messages
⬆️
32

textbook

The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"
⬆️
33

reason

Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
⬆️
34

vWasm

A formally-verified provably-safe sandboxing Wasm-to-native compiler
⬆️
35

ocannl

OCANNL: OCaml Compiles Algorithms for Neural Networks Learning
⬆️
36

Batsh

A language that compiles to Bash and Windows Batch
⬆️
37

irmin

Irmin is a distributed database that follows the same design principles as Git
⬆️
38

ohex

Hexadecimal encoding and decoding, mirror of https://git.robur.coop/robur/ohex
⬆️
39

diffcessible

⬆️
40

hardcaml

Hardcaml is an OCaml library for designing hardware.
⬆️
41

karamel

KaRaMeL is a tool for extracting low-level F* programs to readable C code
⬆️
42

granular_marshal

⬆️
43

onionctrl

⬆️
44

ocaml_openapi_generator

An OpenAPI 3 to OCaml client generator.
⬆️
45

ocaml-cohttp

An OCaml library for HTTP clients and servers using Lwt or Async
⬆️
46

hazel

Hazel, a live functional programming environment with typed holes
⬆️
47

mirage

MirageOS is a library operating system that constructs unikernels
⬆️
48

forester-fmt

Code formatting and document conversion utilities for forester
⬆️
49

ocaml-wayland

Pure OCaml Wayland protocol implementation
⬆️
50

melange-fest

A minimal test framework for Melange using Node test runner
⬆️
51

incremental

A library for incremental computations
⬆️
52

quickjs.ml

OCaml bindings to QuickJS
⬆️
53

google-drive-ocamlfuse

FUSE filesystem over Google Drive
⬆️
54

joe

🧊 Компілятор ML і віртуальна машина
⬆️
55

httpcats

⬆️
56

dune-release

Streamlining the release of dune packages to opam
⬆️
57

lambdapi

Proof assistant based on the λΠ-calculus modulo rewriting
⬆️
58

LanguageEtudes

Components of programming languages, all implemented in self-contained files
⬆️
59

dune

A composable build system for OCaml.
⬆️
60

ppx_router

type safe routing for Dream
⬆️
61

bap

Binary Analysis Platform
⬆️
62

yojson

Low-level JSON parsing and pretty-printing library for OCaml
⬆️
63

serde.ml

Serialization framework for OCaml
⬆️
64

bonsai

A library for building dynamic webapps, using Js_of_ocaml
⬆️
65

polaris

A functional programming language with shell scripting capabilities
⬆️
66

ocaml-containers

A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.
⬆️
67

libcrunch

A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
⬆️
68

language-garden

A garden of small programming language implementations 🪴
⬆️
69

effects-examples

Examples to illustrate the use of algebraic effects in Multicore OCaml
⬆️
70

ppx_deriving

Type-driven code generation for OCaml
⬆️
71

ppx_string_conv

Ppx extension for generating of_string & to_string
⬆️
72

ppx_minidebug

Formatted logs of type-annotated let-bound values, function arguments and results, `if` and `match` branches taken. Optionally, as collapsible HTML or Markdown trees with highlights.
⬆️
73

jingoo

OCaml template engine almost compatible with jinja2
⬆️
74

ocaml-jupyter

An OCaml kernel for Jupyter (IPython) notebook
⬆️
75

ocaml-re

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

bytesrw

Composable byte stream readers and writers for OCaml
⬆️
77

nethsm

Nitrokey NetHSM system software and firmware
⬆️
78

OMicroB

An OCaml generic virtual machine for microcontrollers
⬆️
79

hol-light

The HOL Light theorem prover
⬆️
80

polytt

A type theory with native support for Polynomial Functors.
⬆️
81

owl

Owl - OCaml Scientific Computing @ https://ocaml.xyz
⬆️
82

muad

🐭 a small, extensible task runner for OCaml
⬆️
83

links

Links: Linking Theory to Practice for the Web
⬆️
84

optimist

Everything is going to be Ok.
⬆️
85

js_of_ocaml

Compiler from OCaml to Javascript.
⬆️
86

bincat

Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection
⬆️
87

raylib-ocaml

OCaml bindings for raylib and raygui
⬆️
88

create-melange-app

The fastest, friendliest, and most delightful way to get started with OCaml, ReasonML, and Melange, geared towards JavaScript and TypeScript developers
⬆️
89

ocamlformat

Auto-formatter for OCaml code
⬆️
90

SATySFi

A statically-typed, functional typesetting system
⬆️
91

ocamlearlybird

OCaml debug adapter
⬆️
92

ocaml-ci

A CI for OCaml projects
⬆️
93

sherlodoc

Fuzzy type search for OCaml documentation
⬆️
94

neio

⬆️
95

dream-routes

Define your Dream router with Routes
⬆️
96

tlapm

The TLA Proof Manager
⬆️
97

type-systems

Implementations of various type systems in OCaml.
⬆️
98

cmdliner

Declarative definition of command line interfaces for OCaml
⬆️
99

ppx_deriving_variant_string

OCaml PPX deriver that generates converters between regular or polymorphic variants and strings
⬆️
100

ocamlgraph

OCaml graph library
⬆️