Alternatives and similar repositories for OCaml

Users that are interested in OCaml are comparing it to the libraries listed below

• TheAlgorithms / Haskell
  ☆399Updated last year
• TheAlgorithms / AArch64_Assembly
  All Algorithms implemented in AArch64 Assembly
  ☆162Updated last year
• TheAlgorithms / scripts
  Scripts used across all The Algorithms repositories
  ☆86Updated last year
• AllAlgorithms / haskell
  Implementation of All ▲lgorithms in Haskell Programming Language
  ☆47Updated 3 years ago
• glyh / awesome-pl-concepts
  An menu/quick reference for Programming Language concepts
  ☆20Updated last year
• semgrep / ocaml-tree-sitter-core
  OCaml code generator and runtime library for handling typed tree-sitter CSTs
  ☆31Updated last week
• TheAlgorithms / Mojo
  All algorithms implemented in Mojo. (The first open-sourced Mojo repository on GitHub)
  ☆45Updated 2 months ago
• Maijin / awesome-asm
  A curated list of awesome Assembler
  ☆69Updated 10 years ago
• cs3110 / textbook-solutions
  Solutions to OCaml Programming
  ☆82Updated 8 months ago
• johnwhitington / more-ocaml-exercises
  Examples and Exercises for the book "More OCaml"
  ☆63Updated 2 years ago
• janestreet / torch
  ☆120Updated this week
• TheAlgorithms / Jule
  Algorithms and data structures implemented in the Jule programming language.
  ☆26Updated 2 months ago
• o1-labs / ocamlbyexample
  Learn Ocaml by reading code examples
  ☆73Updated 2 years ago
• awodey / math
  Mathematical notes and papers
  ☆26Updated last week
• facebook / ocamlrep
  Sets of libraries and tools to write applications and libraries mixing OCaml and Rust. These libraries will help keeping your types and d…
  ☆132Updated this week
• learn-anything / programming-languages
  Awesome Programming Languages
  ☆303Updated 10 months ago
• manjunath5496 / Compiler-Books
  "No technology that's connected to the internet is unhackable." ― Abhijit Naskar
  ☆19Updated 5 years ago
• rocq-prover / opam
  Archive for all Rocq and Coq-related opam packages organized in various repositories
  ☆142Updated this week
• ocaml-flambda / flambda-backend
  The Flambda backend project for OCaml
  ☆143Updated this week
• tsoding / parcoom
  Parser Combinators of Monad
  ☆36Updated 4 years ago
• imdea-software / htt
  Hoare Type Theory
  ☆75Updated last week
• ocaml-sf / learn-ocaml
  A Web Application for Learning OCaml
  ☆311Updated this week
• OCamlverse / ocamlverse.github.io
  Documentation of everything relevant in the OCaml world
  ☆182Updated 2 weeks ago
• rocq-community / awesome-coq
  A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]
  ☆352Updated 4 months ago
• TheAlgorithms / algorithms-keeper
  A bot for TheAlgorithms/Python repository.
  ☆169Updated last year
• uds-psl / Prog
  ☆83Updated 3 years ago
• manjunath5496 / Discrete-Mathematics-Books
  "Mathematics is less related to accounting than it is to philosophy." - Leonard Adleman
  ☆31Updated 6 years ago
• math-comp / analysis
  Mathematical Components compliant Analysis Library
  ☆219Updated this week
• diskuv / dkml-installer-ocaml
  The Windows-friendly distribution of OCaml
  ☆62Updated 8 months ago
• zed-extensions / ocaml
  OCaml support
  ☆17Updated 4 months ago