Alternatives and similar repositories for awesome-ocaml:

Users that are interested in awesome-ocaml are comparing it to the libraries listed below

• ocaml / merlin
  Context sensitive completion for OCaml in Vim and Emacs
  ☆1,596Updated this week
• realworldocaml / book
  V2 of Real World OCaml
  ☆1,198Updated 6 months ago
• ocaml / dune
  A composable build system for OCaml.
  ☆1,657Updated this week
• aantron / dream
  Tidy, feature-complete Web framework
  ☆1,646Updated 3 weeks ago
• rgrinberg / opium
  Sinatra like web toolkit for OCaml
  ☆766Updated 7 months ago
• ocaml / ocaml
  The core OCaml system: compilers, runtime system, base libraries
  ☆5,582Updated this week
• janestreet / core
  Jane Street Capital's standard library overlay
  ☆1,128Updated last month
• owlbarn / owl
  Owl - OCaml Scientific Computing @ https://ocaml.xyz
  ☆1,232Updated last week
• ocaml-multicore / ocaml-multicore
  Multicore OCaml
  ☆762Updated 2 years ago
• tomprimozic / type-systems
  Implementations of various type systems in OCaml.
  ☆1,553Updated 9 years ago
• jozefg / learn-tt
  A collection of resources for learning type theory and type theory adjacent fields.
  ☆2,197Updated 4 months ago
• ocaml-community / utop
  Universal toplevel for OCaml
  ☆854Updated last month
• krispo / awesome-haskell
  A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.
  ☆3,123Updated last year
• idris-lang / Idris-dev
  A Dependently Typed Functional Programming Language
  ☆3,437Updated 5 months ago
• ocsigen / js_of_ocaml
  Compiler from OCaml to Javascript.
  ☆973Updated this week
• ocsigen / lwt
  OCaml promises and concurrent I/O
  ☆729Updated this week
• sdiehl / write-you-a-haskell
  Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
  ☆3,356Updated 4 years ago
• mirage / irmin
  Irmin is a distributed database that follows the same design principles as Git
  ☆1,863Updated last month
• mirage / ocaml-cohttp
  An OCaml library for HTTP clients and servers using Lwt or Async
  ☆717Updated last week
• sdiehl / wiwinwlh
  What I Wish I Knew When Learning Haskell
  ☆2,583Updated 2 years ago
• carp-lang / Carp
  A statically typed lisp, without a GC, for real-time applications.
  ☆5,589Updated last month
• FStarLang / FStar
  A Proof-oriented Programming Language
  ☆2,771Updated this week
• idris-lang / Idris2
  A purely functional programming language with first class types
  ☆2,560Updated this week
• koka-lang / koka
  Koka language compiler and interpreter
  ☆3,377Updated last week
• mirage / alcotest
  A lightweight and colourful test framework
  ☆462Updated 3 months ago
• purescript / purescript
  A strongly-typed language that compiles to JavaScript
  ☆8,624Updated 3 months ago
• inhabitedtype / angstrom
  Parser combinators built for speed and memory efficiency
  ☆665Updated 4 months ago
• mirage / mirage
  MirageOS is a library operating system that constructs unikernels
  ☆2,601Updated last week
• agda / agda
  Agda is a dependently typed programming language / interactive theorem prover.
  ☆2,549Updated this week
• nuprl / 10PL
  10 papers that all PhD students in programming languages ought to know, for some value of 10
  ☆900Updated 5 years ago