Alternatives and similar repositories for 1ml

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

• whitequark / ocaml-m17n
  Multilingualization for the OCaml source code
  ☆49Updated 6 years ago
• plum-umd / adapton.ocaml
  (Nominal) Adapton in OCaml
  ☆57Updated 9 years ago
• murmour / mparser
  A simple monadic parser combinator library for OCaml
  ☆69Updated 3 years ago
• pdonadeo / ocaml-lens
  Private extraction of astrada's lens library
  ☆57Updated 4 years ago
• PLTools / OCanren
  Statically typed embedding of miniKanren relational programming language into OCaml
  ☆121Updated last month
• keigoi / ocaml-mpst
  Multiparty Session Types in OCaml
  ☆59Updated last year
• avsm / ocaml-lens
  Private extraction of astrada's lens library
  ☆65Updated 4 years ago
• modular-macros / ocaml-macros
  OCaml with macros
  ☆60Updated 3 months ago
• ocaml-ppx / cinaps
  Trivial Metaprogramming tool using the OCaml toplevel
  ☆55Updated 3 years ago
• janestreet / incremental_kernel
  Library for incremental computations depending only on Core_kernel
  ☆47Updated 7 years ago
• ocsigen / reactiveData
  Functional reactive programming with incremental changes in data structures
  ☆52Updated last month
• tov / shcaml
  Caml-Shcaml: An Ocaml library for Unix shell programming
  ☆69Updated 6 years ago
• snowleopard / selective-ocaml
  Selective Applicative Functors in OCaml: Declare Your Effects Statically, Select Which to Execute Dynamically
  ☆47Updated 6 years ago
• mmottl / ocaml-prog-pats
  OCaml Programming Patterns - random tricks, "design patterns", etc.
  ☆52Updated 5 months ago
• janestreet / accessor
  A library that makes it nicer to work with nested functional data structures
  ☆61Updated this week
• j4cbo / stilts
  SML On Stilts
  ☆37Updated 11 years ago
• janestreet / higher_kinded
  A library with an encoding of higher kinded types in OCaml
  ☆42Updated this week
• ocamllabs / ocaml-modular-implicits
  OCaml extended with modular implicits
  ☆105Updated 7 years ago
• polytypic / JoinCML
  ☆15Updated 10 years ago
• yallop / ocaml-integers
  Various signed and unsigned integer types for OCaml
  ☆66Updated last year
• IndiscriminateCoding / clarity
  Functional programming library for OCaml
  ☆60Updated 6 years ago
• johnwhitington / mlbook
  OCaml from the Very Beginning
  ☆52Updated 4 months ago
• OlivierNicole / ocaml
  The core OCaml system: compilers, runtime system, base libraries
  ☆22Updated this week
• rlepigre / pml
  New version of the PML language and (classical) proof assistant
  ☆21Updated 3 years ago
• whitequark / ocaml-llvm-ng
  A practical LLVM backend for OCaml (will never be finished)
  ☆35Updated 11 years ago
• ocamllabs / ocaml-internals
  Wiki for ocaml compiler internals
  ☆49Updated 12 years ago
• mfp / ocaml-sqlexpr
  Minimalistic syntax extension for type-safe, convenient execution of SQL statements.
  ☆85Updated 6 years ago
• samoht / depyt
  Yet another type combinator library
  ☆55Updated 3 years ago
• polytypic / rea-ml
  Effectful OCaml with Objects and Variants
  ☆29Updated 2 years ago
• urweb / upo
  The Ur/Web People Organizer
  ☆30Updated last year