Skip to main content

A curated collection of awesome OCaml tools, frameworks, libraries and articles.

3.1k
GitHub Stars
370
Curated Resources
42
Categories
1 hour ago
Last Refreshed
CommunityAlgorithms and Data StructuresApplication LibrariesBenchmarkingBlogsBooksCode Analysis and LintersProgram analysisCompilers and Compiler ToolsConcurrencyDatabasesDatetimeDeveloper ToolsExercises and Short ExamplesFormal Software VerificationGeneralGraphicsInternationalizationUser InterfaceLanguage-relatedLarge Source Code ExamplesLoggingMachine LearningMessagingMetaprogrammingMetricsMobile ApplicationsNetworkingOnline CoursesPackage ManagementParallelismPrinters helpersProject Starter TemplatesQuestionsRegular ExpressionsSecurity and CryptographySemantic TechnologySerializationSystem ProgrammingTestingUtilitiesWeb Development

Use this list with your AI agent

Add the Context Awesome MCP server to Claude, Cursor, or any MCP client, then ask:

"Show me exercises and short examples resources from awesome-ocaml"

Installation instructions →

What's inside

Metaprogramming

Formal Software Verification

Compilers and Compiler Tools

  • Angstrom

    Parser combinators built for speed and memory efficiency

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

  • Hack Programming Language

Showing a sample of 370 resources. View the full list on GitHub →