Everything you'll ever need on the road to mastering OCaml.
A curated list of references to awesome OCaml tools, frameworks, libraries, and articles. Additionally, there is a collection of freely available books, papers, and presentations.
If you're looking for comprehensive community-driven content about OCaml, visit 📚OCamlverse!
For a quick introduction to the modern OCaml development workflow, consult the Up and Running with OCaml tutorial.
Your favorite package is not listed? Fork and create a Pull Request to add it!
- OCaml Programming: Correct + Efficient + Beautiful - List of 200 bite-sized videos recorded by Michael R. Clarkson. It can be watched independently of the textbook titled the same and listed above in the Books section.
Languages and Compilers:
Caramel - Caramel is a functional language for building type-safe, scalable, and maintainable applications.
cDuce - cDuce is a modern XML-oriented functional language with innovative features.
Compcert C Compiler - It is a C Compiler supporting most of the ISO C90 and C99 / ANSI C features.
Eff Programming Language - Eff is a functional language with handlers of not only exceptions, but also of other computational effects such as state or I/O.
Neko Programming Language - Originally the compiler was written in OCaml.
Mazeppa - A modern supercompiler for call-by-value functional languages.
Mezzo Programming Language - Mezzo is a programming language in the ML tradition, which places strong emphasis on the control of aliasing and access to mutable memory.
OCaml-Java - OCaml to Java bytecode compiler.
Rhine – A Lisp on LLVM written in OCaml.
Rust Programming Language - Originally written in OCaml before bootstrapping.
Quick C-- Target Language - It is now a dead project. Github Repo. Alternative website.
tis-interpreter - An interpreter for finding subtle bugs in programs written in standard C
Reason - Friendly syntax & toolchain for OCaml by Facebook.
RaML - Resource Aware ML (RaML) is a tool that automatically and statically computes resource-use bounds for OCaml programs.
Liquid ML - Shopify's Liquid Templating language for OCaml.
Parser and Lexer Generators:
Articles:
Two concurrency libraries exist in OCaml: Lwt and Async. They provide very similar functionality but make radically different decisions with regards to error handling and internal implementation details (see the links below for more details). Real World OCaml uses Async, but a version of the code examples translated to Lwt is also available.
AI小说写作助手,一站式润色、改写、扩写
蛙蛙写作—国内先进的AI写作平台,涵盖小说、学术、社交媒体等多场景。提供续写、改写、润色等 功能,助力创作者高效优化写作流程。界面简洁,功能全面,适合各类写作者提升内容品质和工作效率。
字节跳动发布的AI编程神器IDE
Trae是一种自适应的集成开发环境(IDE),通过自动化和多元协作改变开发流程。利用Trae,团队能够更快速、精确地编写和部署代码,从而提高编程效率和项目交付速度。Trae具备上下文感知和代码自动完成功能,是提升开发效率的理想工具。
全能AI智能助手,随时解答生活与工作的多样问题
问小白,由元石科技研发的AI智能助手,快速准确地解答各种生活和工作问题,包括但不限于搜索、规划和社交互动,帮助用户在日常生活中提高效率,轻松管理个人事务。