awesome-ocaml
OCaml toolkit
A curated collection of resources and tools for OCaml developers
A curated collection of awesome OCaml tools, frameworks, libraries and articles.
3k stars
126 watching
167 forks
last commit: almost 2 years agoLinked from 8 awesome lists
awesomeocamlprogramming-languageresources
Awesome OCaml / Community | |||
| Official OCaml Website | |||
| OCaml Discourse Web Forum | |||
| OCaml Discord Chat | |||
| Official OCaml Mailing List | |||
| OCaml Planet | |||
| OCaml SubReddit | |||
Awesome OCaml / Algorithms and Data Structures | |||
| Comparing a Machine Learning Algorithm Implemented in F# and OCaml | |||
| OCamlgraph | 234 | almost 2 years ago | – A generic graph library for OCaml |
| ods | 48 | almost 4 years ago | – A large collection of data structures and algorithms for OCaml |
| combine | 35 | about 2 years ago | – OCaml library for combinatorics |
| Decompress | 115 | over 2 years ago | A pure OCaml implementation of Zlib |
| Ke | 51 | over 2 years ago | Fast implementation of queue (FIFO) in OCaml |
| Duff | 20 | almost 2 years ago | Implementation of Rabin's fingerprint and delta compression by P. MacDonald in OCaml (same as |
| ORaft | 28 | about 3 years ago | Library of implemented in OCaml |
| ODiff | 2,077 | almost 2 years ago | – Library of implemented in OCaml and ReasonML |
Awesome OCaml / Application Libraries | |||
| Batteries Included | 521 | almost 2 years ago | – A community-maintained foundation library for your OCaml projects |
| Cmdliner | 295 | over 2 years ago | – Declarative definition of command line interfaces for OCaml |
| Core | 1,126 | almost 2 years ago | – Jane Street Capital's full-fledged standard library overlay. A portable subset of Core is also available: |
| Base | 877 | almost 2 years ago | Jane Street Capital's dependency-free, quick-compiling, fully-portable across any environment that can run OCaml code standard library |
| React | – React is an OCaml module for functional reactive programming (FRP). It provides support for programs with time-varying values, declarative events, and signals | ||
| Minicli | 30 | almost 6 years ago | – Minimalist library for command-line parsing |
| easy-format | 43 | over 4 years ago | – Pretty-printing library for OCaml |
| ocaml-rpc | 96 | almost 2 years ago | – Light library to deal with RPCs in OCaml |
| ocaml-containers | 494 | almost 2 years ago | – A lightweight, modular standard library extension, string library, and interfaces to various libraries (bigarrays, Unix, etc.) BSD license |
Awesome OCaml / Benchmarking | |||
| core_bench | 50 | almost 2 years ago | – Micro-benchmarking library for OCaml by Jane Street. - |
| benchmark | 27 | almost 2 years ago | – Benchmarking functions for measuring the run-time of functions using latency or throughput |
Awesome OCaml / Blogs | |||
| Gagallium | |||
| Type OCaml – Many things about OCaml | |||
| OCaml Platform | |||
| Drup's Thingies | |||
| Thomas Letan’s articles about OCaml | |||
Awesome OCaml / Books | |||
| More OCaml: Algorithms, Methods, and Diversions | – In More OCaml, John Whitington takes a meandering tour of functional programming with OCaml, introducing various language features and describing some classic algorithms. The book ends with a large-scale example dealing with the production of PDF files. There are questions for each chapter, along with worked-out answers and hints | ||
| How to Think Like a (Functional) Programmer | by Allen Downey and Nicholas Monje – How to Think Like a Computer Scientist is an introductory programming textbook based on the OCaml language. It is a modified version of Think Python by Allen Downey. It is intended for newcomers to programming and also those who know some programming but want to learn programming in the function-oriented paradigm, or those who simply want to learn OCaml | ||
| OCaml from the Very Beginning | by J. Whitington - OCaml from the Very Beginning will appeal both to new programmers and experienced programmers eager to explore functional languages such as OCaml | ||
| Pearls of Functional Algorithm Design | by Richard Bird - It summarizes 30 hard algorithmic problems in the function programming world. Although it is for Haskell, the algorithm problems are very interesting, and trying to solve them in OCaml also helps the thinking of functional programming. Partial solutions in OCaml are | ||
| Real World OCaml | by Y. Minsky, A. Madhavapeddy, and J. Hickey - Functional Programming for the masses | ||
| Unix System Programming in OCaml | by X. Leroy and D. Rémy – Introduction to Unix Systems Programming, with an emphasis on communications between processes | ||
| Using, Understanding, and Unraveling OCaml | – This book describes both the OCaml language and the theoretical grounds behind its powerful type system | ||
| Purely Functional Data Structures | This is the first or only book focus on various data structures in FP world. A must-read one | ||
| OCaml for Scientists | by Jon Harrop | ||
| OCaml Programming: Correct + Efficient + Beautiful | Textbook on Functional Programming and Data Structures in OCaml - by Michael R. Clarkson et al | ||
Awesome OCaml / Code Analysis and Linters | |||
| Mascot | Mascot is a style-checker for OCaml sources | ||
| pfff | 185 | almost 4 years ago | – pfff is a set of tools and APIs to perform some static analysis, dynamic analysis, code visualizations, code navigations, or style-preserving source-to-source transformations such as refactorings on source code |
| Infer | 15,024 | almost 2 years ago | Infer is a static analyzer for Java, C and Objective-C |
| Frama-C | Frama-C is a static analysis and formal proof framework for C and C++ | ||
| flow | 22,105 | almost 2 years ago | flow is a static type checker for JavaScript |
| SLAyer | 326 | about 10 years ago | SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs |
| MemCAD | 25 | almost 5 years ago | MemCAD is an abstract interpreter for shape analysis. MemCAD can verify C programs manipulating complex data structures |
| Camelot | 45 | about 3 years ago | Camelot is a modular and fully configurable OCaml linter and stylechecker |
| coq-of-ocaml | 255 | about 2 years ago | Translator from OCaml to Coq to formally verify OCaml code |
| MOPSA | MOPSA is a generic framework for building sound static analyzers based on the theory of abstract interpretation | ||
Awesome OCaml / Program analysis | |||
| BAP | 2,079 | about 2 years ago | BAP is a reverse engineering and program analysis platform that targets binary programs |
| BinCat | 1,706 | almost 2 years ago | BinCat is a binary code static analysis toolkit |
| cwe_checker | 1,155 | almost 2 years ago | cwe_checker finds vulnerable patterns in binary executables |
| Owi | 139 | almost 2 years ago | Owi is a toolchain for working with WebAssembly (Wasm) in OCaml, featuring a powerful, parallel symbolic execution engine for Wasm. It also provides frontends for compiling and analyzing C and Rust programs |
| Smt.ml | 28 | almost 2 years ago | Smt.ml is a frontend OCaml library that interfaces with multiple SMT solvers, enabling seamless integration of solvers like Z3, cvc5, Colibri2, Bitwuzla, and Alt-Ergo within OCaml programs |
Awesome OCaml / Compilers and Compiler Tools | |||
| Opal | 146 | about 3 years ago | – Self-contained monadic parser combinators for OCaml |
| Sedlex | 244 | almost 2 years ago | is a modern, encoding-agnostic (read: Unicode-supporting) lexer generator (the ppx-based successor to .) |
| Menhir | – Menhir is a LR(1) parser generator for OCaml | ||
Awesome OCaml / Compilers and Compiler Tools / Menhir | |||
| ocaml-parsing | 125 | over 2 years ago | See for a clearer example of using Menhir and Sedlex to produce a useful parser, |
| Obelisk | 55 | about 2 years ago | ... and , a neat project to produce readable LaTeX, HTML, or plain-text EBNF-style documentation for your grammar |
Awesome OCaml / Compilers and Compiler Tools | |||
| ocamllex/ocamlyacc | – lex and yacc implementation for OCaml | ||
| Angstrom | 656 | about 2 years ago | Parser combinators built for speed and memory efficiency |
| Kaleidoscope: Implementing a Language with LLVM in Objective Caml¶ | |||
Awesome OCaml / Concurrency / : | |||
| Lwt | — A cooperative threads library for OCaml | ||
| Async | — A monadic concurrence library to go with the Core library | ||
| The blog post that introduced Async | |||
| A user gives up on Async | |||
| Cooperative Concurrency in OCaml: A Core.Std.Async Example | |||
Awesome OCaml / Databases | |||
| Dbm | — A binding to the NDBM/GDBM Unix "databases" | ||
| Mongo.ml | – An OCaml driver for Mongodb | ||
| PG'OCaml | — A type-safe interface to PostgreSQL in pure OCaml | ||
Awesome OCaml / Databases / PG'OCaml | |||
| ppx_pgsql | 52 | about 6 years ago | – A syntax extension for embedded SQL queries using PG'OCaml |
Awesome OCaml / Databases | |||
| PostgreSQL-OCaml | — An interface to PostgreSQL through the C API ( ) | ||
| SQLite3 | 116 | almost 2 years ago | — OCaml bindings to the SQLite3 database |
| Sqlite3EZ | — Thin wrapper for SQLite3 with a simplified interface | ||
| ocaml-redis | 75 | almost 3 years ago | – Redis bindings for OCaml |
| mysql | – Bindings to libmysqlclient for interacting with MySQL databases | ||
| pgx | 122 | almost 4 years ago | – A pure OCaml PostgreSQL client library |
| mysql_protocol | 14 | over 4 years ago | – Implementation of MySQL Protocol with the Bitstring library |
| Irmin | 1,860 | almost 2 years ago | — A distributed database that follows the same design principles as Git |
| Obigstore | — A database with BigTable-like data model atop LevelDB | ||
| RunOrg | 12 | over 11 years ago | It is a WIP database server written in OCaml |
| dokeysto | 10 | over 3 years ago | dumb OCaml key-value store, string keys and string values. Optional on-the-fly LZ4 compression of values or tokyocabinet backend |
| Sequoia | 124 | over 3 years ago | Sequoia is a type-safe query builder for MySQL/MariaDB and PostgreSQL |
| Macaque | 38 | almost 7 years ago | — Macaque is a library for safe and flexible database queries using comprehensions on top of PG'OCaml |
| ORM | 60 | almost 8 years ago | — ORM for SQLite |
| Caqti | 313 | almost 2 years ago | Cooperative-threaded access to relational data |
| Caqti setence preparation, ppx_rapper | 138 | over 2 years ago | |
Awesome OCaml / Databases / : | |||
| Implementing the Binary Memcached Protocol with Ocaml and Bitstring | |||
| Interfacing OCaml and PostgreSQL with Caqti | |||
| Finally, Type-Safe, Extensible and Efficient Language Integrated Query | by Oleg and Co. The proposed approach is to describe SQL queries in type-safe manner and optimize them (using term rewriting or normalization-by evaluation) before sending to database engine. It potentially could optimize O(n^2) queries to O(n) ones | ||
Awesome OCaml / Datetime | |||
| ISO8601 | 29 | over 2 years ago | |
| calendar | |||
| odate | 23 | over 2 years ago | |
| ptime | |||
Awesome OCaml / Developer Tools | |||
| ctypes | 372 | about 2 years ago | – Library for binding to C libraries using pure OCaml |
| ocaml-main-program-in-c | 16 | almost 9 years ago | – Example build system for making mixed C/Ocaml binaries where the main program is in C |
| Modular foreign function bindings | |||
| Py.ml | 187 | over 2 years ago | OCaml bindings for Python |
| ocaml-lsp | 782 | almost 2 years ago | An LSP language server for OCaml that integrates with any editor that understands LSP like , Vim and Emacs |
| merlin | 1,593 | almost 2 years ago | – Context sensitive completion for OCaml in Vim and Emacs |
| tuareg | 364 | about 2 years ago | OCaml mode for Emacs that can run the toplevel and the debugger within Emacs |
| opam-switch-mode | 5 | about 3 years ago | Minor mode for Emacs that extends Tuareg and Merlin with menus to change or reset the opam switch in the ambient Emacs session |
| merlin-eldoc | 44 | over 3 years ago | – Emacs package to provide merlin's features through eldoc |
| vscode-ocaml | 170 | almost 6 years ago | – extension that provides OCaml language support for |
| OCaml Debugger | 208 | almost 2 years ago | – extension that provides OCaml Debugger for |
| Sublime better ocaml | 23 | over 8 years ago | – Better OCaml mode for Sublime Text |
Awesome OCaml / Developer Tools / Sublime better ocaml | |||
| Sublime text package | 12 | about 9 years ago | |
Awesome OCaml / Developer Tools | |||
| ocp-index | – Easy access to the interface information of installed OCaml libraries. Provides standalone tools like and | ||
Awesome OCaml / Developer Tools / ocp-index | |||
| ocp-browser | – Small ncurses-based API and documentation browser | ||
| ocp-index-top | 20 | about 9 years ago | – Toplevel directive for looking up documentation using ocp-index |
| Sublime text package | |||
Awesome OCaml / Developer Tools | |||
| ocp-indent | – Indentation tool for OCaml, to be used from editors like Emacs and Vim | ||
Awesome OCaml / Developer Tools / ocp-indent | |||
| Vim plugin | 29 | over 8 years ago | |
Awesome OCaml / Developer Tools | |||
| Bisect_ppx | 301 | almost 2 years ago | |
Awesome OCaml / Exercises and Short Examples | |||
| 99 problems | . 99% of the solutions are | ||
| learn-ocaml-corpus | . Corpus of beginner-to-advanced online exercises (including those from the OCaml MOOC) with automatic grading tests | ||
| Rosetta Code | |||
| OCaml at Exercism | – Exercism is your place to engage in thoughtful conversations about code. Explore simplicity, idiomatic language features, and expressive, readable code. | ||
| Programming Language Examples Alike Cookbook | The OCaml section of the book is a free reference for solving common programming problems using OCaml | ||
Awesome OCaml / Formal Software Verification | |||
| 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 | ||
| Why3 | – Why3 is a platform for deductive program verification. It provides a rich language for specification and programming, called WhyML, and relies on external theorem provers, both automated and interactive, to discharge verification conditions | ||
| Alt-Ergo | – Alt-Ergo is an open-source SMT solver dedicated to the proof of mathematical formulas generated in the context of program verification | ||
Awesome OCaml / General | |||
| Functional Programming with OCaml | |||
| Python to OCaml: retrospective | |||
| OCaml for the Masses | |||
| Why We Use OCaml | |||
| Xen – OCaml Coding Considerations | |||
| Monads are a class of hard drugs | |||
| Beginner's guide to OCaml | |||
| Why OCaml, why now? | |||
| A blog about game development in OCaml | |||
| (Functional) Alternatives to inheritance | |||
| camlPDF | 202 | almost 2 years ago | – OCaml library for reading, writing and modifying PDF files |
| slacko | 81 | over 2 years ago | – A neat interface for Slack in OCaml |
| Learn X in Y minutes | Where X=OCaml | ||
Awesome OCaml / Graphics | |||
| archimedes | — 2D plotting library | ||
| cairo2 | 55 | almost 2 years ago | — Binding to Cairo, a 2D Vector Graphics Library. Integrates well with lablgtk |
| Vg | 91 | over 2 years ago | – Declarative 2D vector graphics for OCaml |
| glMLite | 19 | about 4 years ago | — OpenGL bindings for OCaml. Provides an (experimental) functional API. ( ) |
| lablgl | — Interface to OpenGL. Integrates well with lablgtk | ||
| tgls | — Thin bindings OpenGL 3.{2,3},4.{0,1,2,3,4} and OpenGL ES {2,3} | ||
Awesome OCaml / Internationalization | |||
| Camomile | 124 | over 2 years ago | — A Unicode library for OCaml |
| ocaml-m17n | 50 | over 7 years ago | — Multilingualization for OCaml source code. Allows using Unicode identifiers in OCaml source code |
| Uucd | 17 | almost 2 years ago | — Unicode character database decoder for OCaml |
| Uucp | 21 | almost 2 years ago | — Unicode character properties for OCaml |
| Uunf | 21 | almost 2 years ago | — Unicode text normalization for OCaml |
| Uuseg | 23 | almost 2 years ago | — Unicode text segmentation for OCaml |
| Uutf | 32 | almost 3 years ago | — Non-blocking streaming Unicode codec for OCaml |
Awesome OCaml / User Interface | |||
| lablgtk | — GTK2 and GTK3 bindings for OCaml with various higher-level facilities to define GUIs | ||
| lablqml | 159 | over 2 years ago | – QML Qt5 bindings for OCaml |
| labltk | — Interface to the Tcl/Tk GUI framework. In the standard distribution for ocaml <= 4.01 | ||
| TSDL | – Tsdl is an OCaml module providing thin bindings to the cross-platform SDL library | ||
| Lambda-Term | 210 | about 2 years ago | – Lambda-Term is a cross-platform library for manipulating the terminal. It provides an abstraction for keys, mouse events, and colors, as well as a set of widgets to write curses-like applications |
| Notty | 352 | over 2 years ago | Notty is a declarative terminal library for OCaml, structured around the notion of composable images |
| ocaml-linenoise | 51 | about 2 years ago | Self-contained OCaml bindings to linenoise; easy high-level readline functionality in OCaml |
Awesome OCaml / Language-related | |||
| Higher-Rank Polymorphism in OCaml | |||
| mikmatch | 22 | almost 3 years ago | – OCaml pattern-matching extended with regexps |
| Inlined records in constructors | |||
| Algebraic Data Types | |||
| XEN – OCaml Best Practices for Developers | |||
| OCaml Style Guide (by Jane Street) | See also: , , | ||
| A safe but strange way of modifying OCaml compiler | |||
| Fiddling with the OCaml Type System | |||
Awesome OCaml / Large Source Code Examples | |||
| Base | 877 | almost 2 years ago | Standard library for OCaml |
| cil | 364 | about 3 years ago | C Intermediate Language |
| coq | 4,883 | almost 2 years ago | formal proof management system |
| frama-c | platform dedicated to the analysis of source code written in C | ||
| libguestfs | 638 | almost 2 years ago | library and tools for accessing and modifying virtual machine disk images |
| Liquidsoap | 1,453 | almost 2 years ago | a swiss-army knife for multimedia streaming, notably used for netradios and webtvs |
| mirage | 2,580 | almost 2 years ago | library operating system that constructs unikernels for secure, high-performance network applications across a variety of cloud computing and mobile platforms |
| MLDonkey | 260 | almost 2 years ago | cross-platform multi-network peer-to-peer daemon |
| Oni2 | 7,844 | about 4 years ago | Native, lightweight modal code editor |
| pfff | 185 | almost 4 years ago | an OCaml API to write static analysis, dynamic analysis, code visualizations, code navigations, or style-preserving source-to-source transformations such as refactorings on source code |
| Tezos | a self-upgradable Proof of Stake blockchain | ||
| WHY3 | platform for deductive program verification | ||
| xen-api | 347 | almost 2 years ago | management stack that configures and controls Xen-enabled hosts and resource pools, and co-ordinates resources within the pool |
Awesome OCaml / Logging | |||
| dolog | 37 | about 3 years ago | – A dumb OCaml logger |
| Volt | 8 | about 3 years ago | – A variant of the Bolt OCaml logging tool |
| Logs | Logs provides a logging infrastructure for OCaml | ||
Awesome OCaml / Machine Learning | |||
| Ocaml-sklearn | 34 | almost 6 years ago | scikit-learn for OCaml |
| Owl | Scientific library with neural networks, algorithmic differentiation and ONNX support | ||
| Object detection convolutional neural network with OCaml (based on Owl) | 17 | over 6 years ago | |
| PyTorch bindings | 416 | almost 2 years ago | OCaml bindings for PyTorch |
Awesome OCaml / Machine Learning / PyTorch bindings | |||
| Ocaml-NN | 5 | over 2 years ago | Fully functional monadic implementation of a Neural Network (FCNNs) in OCaml |
Awesome OCaml / Machine Learning | |||
| Deep Learning with OCaml (PyTorch bindings) | |||
| Transfer Learning with OCaml (PyTorch bindings) | |||
| Reinforcement Learning with OCaml (PyTorch bindings) | |||
Awesome OCaml / Messaging | |||
| ocaml-zmq | 80 | over 2 years ago | – ZeroMQ bindings for OCaml with Async and Lwt wrappers |
| onanomsg | 38 | almost 6 years ago | – nanomsg bindings for OCaml |
| Kafka | 63 | about 2 years ago | – OCaml bindings for Apache Kafka |
| AMQP | 62 | over 2 years ago | – AMQP client library for Async and Lwt |
| MPI | 24 | over 2 years ago | – Message Passing Interface bindings for OCaml |
| MQTT | 19 | almost 6 years ago | – OCaml implementation of the MQTT pubsub protocol |
| capnp-ocaml | 98 | about 3 years ago | – OCaml code generator plugin for the Cap'n Proto serialization framework |
Awesome OCaml / Metaprogramming / : | |||
| A Guide to Extension Points in OCaml | |||
| Extension Points, or how OCaml is becoming more like Lisp | |||
| Syntax extensions without Camlp4: let's do it! | |||
| Reading Camlp4 – Ambassador to the Computers | |||
| ppx_import | 89 | almost 2 years ago | – Import is a syntax extension that allows to pull in types or signatures from other compiled interface files |
| ppx_string_interpolate | 21 | over 6 years ago | – A simple ppx filter to support string interpolation like |
| ppx_monad | 7 | over 9 years ago | – Monad syntax extension for OCaml |
| ppx_deriving_yojson | 157 | about 2 years ago | – A Yojson codec generator for OCaml |
| MetaOCaml | – an OCaml dialect for multi-stage programming | ||
| Fan | – Fan is a compile-time metaprogramming system for OCaml, originally inspired from Camlp4. It's a combination of OCaml and Lispy Macros. It shares the same concrete syntax with OCaml | ||
| camlp5 | Camlp5 is a preprocessor-pretty-printer of OCaml | ||
| camlp4 | Camlp4 is part of the standard OCaml distribution and is different from Camlp5 | ||
Awesome OCaml / Metrics | |||
| prometheus | 51 | over 2 years ago | – OCaml client library for Prometheus monitoring |
Awesome OCaml / Mobile Applications / : | |||
| OCaml on iOS 7 Released | |||
| OCaml + Cordova = more secured, typed and hybrid mobile applications | |||
| Cordova plugins | 26 | almost 10 years ago | – List of bindings to Cordova plugins. Get access to native device components like accelerometer, SMS, geolocation, etc in OCaml |
Awesome OCaml / Networking / : | |||
| ocaml-cohttp | 715 | almost 2 years ago | – Very lightweight HTTP server using Lwt or Async |
| ocurl | 59 | almost 2 years ago | – OCaml bindings to libcurl |
| httpaf | 537 | over 2 years ago | – A high performance, memory efficient, and scalable web server written in OCaml |
| piaf | 194 | about 2 years ago | Client/server library for HTTP/1.X / HTTP/2 written entirely in OCaml |
Awesome OCaml / Networking | |||
| ocaml-dns | 105 | almost 2 years ago | – A pure OCaml implementation of the DNS protocol |
| fluent-logger | 7 | about 12 years ago | – Fluentd logger for OCaml |
| charrua-unix | 11 | over 9 years ago | charrua-unix is a Unix DHCP daemon based on |
Awesome OCaml / Online Courses | |||
| OCaml MOOC: Introduction to Functional Programming in OCaml | Videos available in of the YouTube channel | ||
| Cornell University – Data Structures and Functional Programming | |||
| Princeton University - Functional programming in OCaml | |||
| University of Illinois | Course that uses OCaml to teach functional programming and programming language design | ||
Awesome OCaml / Package Management | |||
| OPAM | – A flexible Git-friendly package manager with multiple compiler support | ||
| ocamlfind | — Local OCaml library manager. Used by most of the OCaml ecosystem | ||
| OCaml for Windows | opam repository and experimental build for Windows (deprecated since 2021) | ||
| Diskuv OCaml | 62 | about 2 years ago | Diskuv OCaml distribution for Windows |
| makorel | 8 | almost 12 years ago | – Release OPAM packages easily |
| esy | 845 | almost 2 years ago | package.json workflow for native development with Reason/OCaml |
| dune | 1,645 | almost 2 years ago | – A composable and opinionated build system for OCaml (former jbuilder) |
| Oasis | A tool to integrate a configure, build and install system in your OCaml project. It helps to create standard entry points in your build system and allows external tools to analyse your project easily | ||
Awesome OCaml / Package Management / Oasis | |||
| oasis2opam | 27 | almost 9 years ago | — Tool to convert OASIS metadata to OPAM package descriptions |
Awesome OCaml / Package Management | |||
| obuild | 55 | almost 3 years ago | – Simple package build system for ocaml |
| ocaml-makefile | 74 | almost 2 years ago | — Easy to use Makefile for small to medium-sized OCaml-projects |
| topkg | 68 | almost 3 years ago | — OPAM-aware packaging system using ocamlbuild |
| Bazel | 37 | over 5 years ago | OCaml rules for , Google's multi-language and platform build tool |
Awesome OCaml / Parallelism | |||
| Parmap | — Provides easy-to-use parallel map and fold functions | ||
| ForkWork | 19 | about 7 years ago | — A simple library for forking child processes to perform work on multiple cores |
| Functory | — A distributed computing library which facilitates distributed execution of parallelizable computations in a seamless fashion | ||
| Rpc.Parallel | 47 | almost 2 years ago | — A library for spawning processes on a cluster of machines, and passing typed messages between them |
| Ocamlnet | — An enhanced system platform library. Contains the library to compute tasks on as many cores of the machine as needed | ||
| Nproc | 29 | about 13 years ago | – Process pool implementation for OCaml |
| Parany | 52 | almost 3 years ago | – Parallelize computation over independent items, even if there is an infinite number of them |
| Sklml | – Functional parallel skeleton compiler and programming system for OCaml programs | ||
| SPOC | 138 | almost 3 years ago | Libraries and syntax extensions to offload intensive computations to parallel accelerators (multicore CPUs, GPUs and other accelerators compatible with GPGPU frameworks) |
| What is the state of OCaml's parallelization abilities? | |||
| Parallel programming in multicore OCaml | 285 | over 2 years ago | |
| Parallelism programming | from the officiel OCaml manual | ||
| Awesome multicore OCaml | 149 | about 3 years ago | . A compilation of resources |
Awesome OCaml / Printers helpers | |||
| Console.log | 460 | over 2 years ago | Reason's native |
| Dum | 29 | over 4 years ago | |
| Inspect | 33 | about 10 years ago | |
| ppx_deriving | 469 | almost 2 years ago | ’s |
| refl | 51 | almost 4 years ago | , a ppx_deriving-like |
| lrt | 32 | almost 6 years ago | , another ppx_deriving-like |
| tpf | 23 | over 6 years ago | , again a ppx_deriving-like |
| typerep | 23 | almost 2 years ago | , probably a ppx_deriving-like with ppx_typerep_conv |
| repr | , which appears to have the user build the type representation manually from combinators in addition to also having the user pass it where needed | ||
| data-encoding | , also fully manual | ||
| cmon | 24 | over 4 years ago | , fully manual |
| dyn | 1,645 | almost 2 years ago | in Dune. It appears to also be fully manual |
| Genprint | 29 | about 6 years ago | |
| OCaml@p | 11 | over 9 years ago | |
Awesome OCaml / Project Starter Templates | |||
| drom | 184 | about 2 years ago | The drom tool is a wrapper over opam/dune in an attempt to provide a cargo-like user experience |
| spin | 295 | almost 2 years ago | Reason and Ocaml project generator |
| modern-ocaml | 77 | almost 2 years ago | Template for an ocaml project with modern tooling |
Awesome OCaml / Questions | |||
| OCaml polymorphism example other than template function? | |||
| OCaml - polymorphic print and type losing | |||
Science and Technical Computing | |||
| biocaml | 123 | over 3 years ago | – OCaml Bioinformatics Library |
| bistro | 48 | over 2 years ago | – OCaml library for building bioinformatics pipelines |
| lacaml | OCaml bindings for BLAS/LAPACK (high-performance linear algebra Fortran libraries) | ||
| obandit | OCaml library for multi-armed bandits | ||
| onumerical | 8 | over 12 years ago | – Numerical library for OCaml |
| oml | 119 | over 8 years ago | OCaml library for general numerical work |
| ocephes | 12 | over 10 years ago | Bindings to frequently used special functions library |
| slap | 88 | about 6 years ago | A linear algebra library in OCaml with type-based static size checking for matrix operations |
| tensorflow-ocaml | 283 | about 7 years ago | – OCaml bindings for TensorFlow |
| owl | 1,225 | almost 2 years ago | OCaml numerical library: dense and sparse matrix, linear algebra, regressions, maths and stats functions |
| WHIZARD | A system designed for the efficient calculation of multi-particle scattering cross sections and simulated event samples | ||
Science and Technical Computing / Regular Expressions | |||
| Re | 234 | almost 2 years ago | – a pure OCaml regular expressions library with combinators, supporting several formats (glob, posix, str, etc.) |
| ocaml-pcre | 31 | almost 2 years ago | – bindings to the PCRE library (perl-compatible regular expressions) |
| Humane-re | 25 | about 7 years ago | – Humane-re attempts to provide an easy interface for 90% of your regex needs. Courtesy of ocaml-re |
| Tyre | 171 | over 6 years ago | Tyre is a set of combinators to build type-safe regular expressions, allowing automatic extraction and modification of matched groups |
Science and Technical Computing / Security and Cryptography | |||
| ocaml-tls | 305 | almost 2 years ago | – TLS in pure OCaml |
| Digestif | 87 | over 2 years ago | Hash algorithms (like SHA* or BLAKE2*) in OCaml and C |
| cryptokit | 97 | almost 2 years ago | – The Cryptokit library for OCaml provides a variety of cryptographic primitives that can be used to implement cryptographic protocols in security-sensitive applications |
| nocoiner | 11 | over 3 years ago | A Commitment scheme library for Multi-party computations such as online auctions and gambling |
| nocrypto | 111 | over 6 years ago | – A small cryptographic library behind the ocaml-tls project. It is built to be straightforward to use, adhere to functional programming principles, and able to run in a Xen-based unikernel |
Science and Technical Computing / Semantic Technology | |||
| OCaml-RDF | – OCaml library to manipulate RDF graphs and execute Sparql queries | ||
Science and Technical Computing / Serialization | |||
| atdgen | 317 | about 2 years ago | — A serialization compiler for multiple languages (OCaml, Java, Python, Scala, Typescript) with a Binou or JSON format |
| bencode | 24 | over 2 years ago | — Bencode (.torrent file format) reader/writer |
| biniou | 42 | over 4 years ago | – Extensible binary data format, like JSON but faster |
| cbor | 24 | over 4 years ago | — OCaml native decoder/encoder |
| jsonm | — Non-blocking streaming JSON codec for OCaml | ||
| xmlm | — A streaming codec to decode and encode the XML data format | ||
| yojson | 328 | about 2 years ago | — An optimized parsing and printing library for the JSON format |
| sexplib | 148 | almost 2 years ago | – A S-expression parser and printer |
Science and Technical Computing / System Programming | |||
| OMicroB | 142 | almost 2 years ago | A virtual machine designed to run OCaml bytecode on AVR (Arduino for instance) micro-controlers |
| OCaPIC | An OCaml virtual machine for PIC18 micro-controlers | ||
| ocaml-esp32 | 18 | almost 6 years ago | A compiler for ESP32 SoC |
Science and Technical Computing / Testing | |||
| Alcotest | 458 | almost 2 years ago | – A lightweight and colourful test framework |
| OUnit | – OUnit is a unit test framework for OCaml. It allows one to easily create unit-tests for OCaml code. It is based on HUnit, a unit testing framework for Haskell | ||
| QCheck | 354 | almost 2 years ago | — QCheck is a property testing library inspired from Haskell's QuickCheck |
| iTeML | 67 | over 5 years ago | (formerly known as ) — supports inline pragma's to generate tests |
| Kaputt | — comprehensive testing framework | ||
| Pa_test | — General inline testing macro's | ||
| TestSimple | 13 | over 11 years ago | A lightweight unit testing framework compatible with the |
| expect-test | 146 | almost 2 years ago | — A framework for writing tests in OCaml, similar to , developed by |
Science and Technical Computing / Utilities | |||
| ocaml-cuid | 18 | over 4 years ago | Collision-resistant IDs for server scalability & database performance |
| Validate | 16 | over 2 years ago | PPX deriver designed to streamline the process of validating records |
| Uuidm | Uuidm is an OCaml module implementing 128-bit universally unique identifiers version 3, 5 (name based with MD5, SHA-1 hashing) and 4 (random based) according to RFC 4122 | ||
| sqids-ocaml | 9 | over 2 years ago | Official OCaml port of Sqids. Generate short unique IDs from numbers |
Science and Technical Computing / Web Development | |||
| Opium | 765 | over 2 years ago | – Sinatra like web toolkit for OCaml |
| Ocsigen Eliom | – Eliom is a full-featured multi-tier framework, for developing multi-platform Web and mobile apps as 100% OCaml distributed applications. It can also be used for more traditional Web or mobile apps: Web sites, single page applications, REST API, etc | ||
| Dream | Tidy Web framework for OCaml and ReasonML | ||
| webmachine | 221 | almost 5 years ago | – A REST toolkit for OCaml. OCaml webmachine is a layer on top of cohttp that implements a state-machine-based HTTP request processor. It's particularly well-suited for writing RESTful APIs. As the name suggests, this is an OCaml port of the webmachine project |
| incr_dom | 383 | almost 2 years ago | A library for building dynamic webapps, using Js_of_ocaml |
| fmlib_browser | a library which helps to write web applications which run in the browser in a pure functional style | ||
| ocaml-vdom | 197 | about 2 years ago | Elm architecture and (V)DOM for OCaml |
| COW | 107 | almost 3 years ago | – Caml on the Web (COW) is a set of parsers and syntax extensions to let you manipulate HTML, CSS, XML, JSON and Markdown directly from OCaml code |
| Ocamlnet | has many relevant web libraries — html parser, for ASN.1 parsing, for Base64, Quoted Printable, URL encoding and HTML escaping, for MIME processing, etc. See the in Ocamlnet's manual | ||
| tyxml | — Library to build valid (according to the W3C spec) Html and Svg trees | ||
| js_of_ocaml | – Js_of_ocaml is a compiler of OCaml bytecode to Javascript. It makes it possible to run Ocaml programs in a Web browser | ||
Science and Technical Computing / Web Development / js_of_ocaml | |||
| commonjs_of_ocaml | 13 | over 10 years ago | Easily import and export CommonJS modules from a js_of_ocaml project |
Science and Technical Computing / Web Development | |||
| ReScript | ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript | ||
| ocaml-uri | 98 | about 2 years ago | – RFC3986 URI parsing library |
| Goji | 44 | about 12 years ago | – An OCaml bindings generator for JavaScript libraries |
| Syndic | 34 | almost 3 years ago | – RSS and Atom feed parsing |
| ocaml-mustache | 82 | over 2 years ago | – mustache.js logic-less templates in OCaml |
| atdjs | 9 | almost 13 years ago | – atd code generator (serialization) for OCaml/js_of_ocaml |
| jingoo | 126 | over 2 years ago | – OCaml template engine almost compatible with jinja2 |
| dispatch | 45 | almost 4 years ago | – Path-based dispatching for client- and server-side applications |
| Lambda Soup | 384 | almost 2 years ago | Functional HTML scraping and manipulation with CSS selectors, à la Python's Beautiful Soup |
| Markup.ml | 146 | almost 2 years ago | Error-recovering streaming HTML5 and XML parsers, serializers |
| gen_js_api | 175 | almost 2 years ago | gen_js_api aims at simplifying the creation of OCaml bindings for Javascript libraries |
| routes | 143 | about 2 years ago | Typed routes for OCaml/ReasonML web applications |
| Cumulus | 49 | over 11 years ago | – Hacker news like website with the OCaml framework Ocsigen |
sindresorhus/awesome
bayandin/awesome-awesomeness
jnv/lists
erichs/awesome-awesome
flyhigher139/awesome-collection
szabgab/awesome-lists
coopermaa/awesome-awesome
0ex/more-awesome
ocsigen/lwt
sbdchd/neoformat
icemachined/kafka-kotlin-native
confluentinc/bottledwater-pg
turbolytics/sql-flow
xstevens/pg_kafka
bookingcom/perl-net-kafka
karafka/karafka
morganstanley/modern-cpp-kafka
edenhill/kcat
ocaml-multicore/effects-examples