Open-Awesome
CategoriesAlternativesStacksSelf-HostedExplore
Open-Awesome

© 2026 Open-Awesome. Curated for the developer elite.

TermsPrivacyAboutGitHubRSS
  1. Home
  2. Tags
  3. Ocaml

Ocaml

217 projects

Showing 36 of 217 projects

ocaml-uri
ocaml-uriOCaml

An RFC3986-compliant URI/URL parsing library for OCaml with multiple parser backends.

#uri-parsing#mirageos#rfc-3986
Stars99
Forks56
Last commit8 months ago
modern-ocaml
modern-ocamlOCaml

A template for OCaml projects with modern tooling including dune build system, LSP server, and CI setup.

#dune#developer-tools#project-template
Stars97
Forks6
Last commit22 days ago
Digestif
DigestifOCaml

A comprehensive OCaml toolbox implementing multiple hash algorithms with both C and OCaml backends.

#sha384#hash#blake2b
Stars95
Forks31
Last commit9 days ago
ppx_import
ppx_importOCaml

An OCaml syntax extension for importing types and signatures from compiled interface files to reduce redundancy.

#developer-tools#metaprogramming#type-system
Stars93
Forks30
Last commit9 months ago
opam2nix
opam2nixOCaml

Generates Nix expressions from OPAM packages to build OCaml projects within the Nix ecosystem.

#dependency-resolution#nix#package-management
Stars93
Forks28
Last commit1 year ago
ocaml-mustache
ocaml-mustacheOCaml

A Mustache.js-compatible logic-less templating engine implemented in OCaml.

#partials#text-generation#logic-less-templates
Stars87
Forks23
Last commit2 years ago
slacko
slackoOCaml

A complete OCaml interface to the Slack API with a command-line notification tool.

#hacktoberfest#api#rest-api
Stars87
Forks10
Last commit2 years ago
ocaml-zmq
ocaml-zmqOCaml

OCaml bindings for ZeroMQ 4.x, providing message-passing capabilities for distributed systems.

#hacktoberfest#message-queue#distributed-systems
Stars85
Forks18
Last commit2 years ago
ocaml-redis
ocaml-redisOCaml

Pure OCaml client library for Redis, offering both synchronous and LWT-based asynchronous bindings.

#database-driver#ocaml-library#opam-package
Stars85
Forks33
Last commit1 year ago
ocaml-makefile
ocaml-makefileOCaml

A generic Makefile for building small to medium-sized OCaml projects with minimal configuration.

#library-management#compilation#makefile
Stars82
Forks19
Last commit1 year ago
Smt.ml
Smt.mlOCaml

A multi-backend SMT solver frontend for OCaml providing a consistent interface to various solvers.

#bitwuzla#webassembly#z3
Stars80
Forks17
Last commit2 days ago
Kafka
KafkaOCaml

OCaml bindings for Apache Kafka, enabling Kafka client functionality in OCaml applications.

#stream-processing#functional-programming#message-queue
Stars72
Forks12
Last commit2 years ago
topkg
topkgOCaml

A packager for distributing OCaml software with an API to describe installation files and distribution procedures.

#isc-license#api#build-tools
Stars71
Forks24
Last commit8 months ago
AMQP
AMQPOCaml

An OCaml client library for AMQP 0.9.1 and RabbitMQ extensions, supporting both Async and Lwt concurrency models.

#ocaml-library#library#message-queue
Stars67
Forks15
Last commit1 month ago
ORM
ORMOCaml

An OCaml ORM library that automatically generates SQLite persistence functions from type definitions without manual SQL.

#orm#ml-values#schema-generation
Stars64
Forks8
Last commit7 years ago
Diskuv OCaml
Diskuv OCamlShell

A Windows-friendly distribution of OCaml focused on native development with mixed OCaml/C projects.

#dune#developer-tools#windows-development
Stars64
Forks2
Last commit11 months ago
Obelisk
ObeliskOCaml

A multi-format pretty-printer for Menhir parser files, generating LaTeX, HTML, and EBNF outputs.

#pretty-print#parser-grammar#syntax-highlighting
Stars63
Forks4
Last commit1 month ago
ocurl
ocurlC

OCaml bindings to libcurl for client-side URL transfers supporting HTTP and multiple network protocols.

#functional-programming#bindings#network-protocols
Stars63
Forks43
Last commit1 month ago
Unicoq
UnicoqOCaml

A Coq plugin that replaces Coq's standard unification algorithm with an enhanced one supporting universe polymorphism and overloading.

#universe-polymorphism#coq-plugin#overloading
Stars60
Forks21
Last commit28 days ago
mariadb
mariadbOCaml

OCaml bindings for MariaDB providing both blocking and nonblocking APIs, supporting prepared statements and integration with Lwt and Async.

#database-driver#prepared-statements#async
Stars59
Forks21
Last commit6 months ago
cairo2
cairo2OCaml

OCaml binding for the Cairo 2D vector graphics library, enabling vector drawing and text rendering from OCaml applications.

#dune#drawing#gtk
Stars58
Forks11
Last commit1 year ago
PyCoq
PyCoqOCaml

Python bindings and libraries for interacting with the Coq interactive proof assistant programmatically.

#coq#serapi#verification
Stars57
Forks4
Last commit4 years ago
ods
odsOCaml

A comprehensive library of data structures and algorithms implemented in OCaml for educational purposes.

#functional-programming#educational#computer-science
Stars57
Forks7
Last commit19 days ago
ocaml-linenoise
ocaml-linenoiseC

Self-contained OCaml bindings to linenoise, providing easy high-level readline functionality without system dependencies.

#tab-completion#history-management#c-bindings
Stars56
Forks9
Last commit2 years ago
obuild
obuildOCaml

A parallel, incremental, and declarative build system for OCaml libraries and programs.

#cli-tool#build-system#incremental-build
Stars56
Forks21
Last commit6 days ago
core_bench
core_benchOCaml

A micro-benchmarking library for OCaml with ppx_bench syntax extension support.

#dune#developer-tools#performance-testing
Stars56
Forks15
Last commit14 days ago
ppx_pgsql
ppx_pgsqlOCaml

OCaml syntax extension for type-safe embedded SQL queries using PG'OCaml.

#database#postgres#type-safety
Stars55
Forks10
Last commit5 years ago
refl
reflOCaml

OCaml PPX deriver providing runtime type representations for efficient, type-safe reflection and generic functions.

#type-reflection#ppx-deriver#metaprogramming
Stars53
Forks5
Last commit3 years ago
Cumulus
CumulusOCaml

A friendly and minimalist link sharing website built with OCaml and PostgreSQL.

#minimalist#eliom#postgresql
Stars53
Forks5
Last commit11 years ago
prometheus
prometheusOCaml

OCaml library for reporting application metrics to Prometheus monitoring servers.

#mirageos#observability#http-metrics
Stars53
Forks28
Last commit24 days ago
Ke
KeHTML

Fast, memory-efficient queue implementations in OCaml for functional and imperative use cases.

#functional-programming#mirageos#queue
Stars52
Forks5
Last commit2 years ago
Liquid ML
Liquid MLOCaml

An OCaml implementation of Shopify's Liquid templating language, featuring an interpreter, parser, and lexer.

#functional-programming#interpreter#static-site-generator
Stars51
Forks4
Last commit1 month ago
ocaml-oidc
ocaml-oidcOCaml

OpenID Connect client implementation in OCaml, currently focused on Relying Party functionality.

#oidc-client#webserver#authentication
Stars51
Forks5
Last commit8 months ago
ocaml-m17n
ocaml-m17nOCaml

Enables Unicode identifiers in OCaml source code, allowing non-English characters in variable, function, and type names.

#programming-language#developer-tools#unicode
Stars51
Forks5
Last commit7 years ago
bistro
bistroOCaml

An OCaml library for building and executing typed, distributed scientific workflows with automatic dependency tracking.

#declarative-programming#workflow#pipeline
Stars49
Forks11
Last commit2 months ago
merlin-eldoc
merlin-eldocEmacs Lisp

Type and doc on hover for OCaml and Reason in emacs

#emacs#reasonml#ocaml
Stars46
Forks3
Last commit22 days ago
PreviousPage 4 of 7Next

Related Tags

Community-curated · Updated weekly · 100% open source

Found a gem we're missing?

Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.

Submit a projectStar on GitHub
#Functional Programming58
#Developer Tools22
#Coq21
#Formal Verification19
#Proof Assistant19
#Library18
#Type Safe17
#Static Analysis16
#Opam15
#Code Generation15
#Mirageos14
#Ppx13