Alternatives and similar repositories for 1ml

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

• plum-umd / adapton.ocaml
  (Nominal) Adapton in OCaml
  ☆57Updated 9 years ago
• janestreet / incremental_kernel
  Library for incremental computations depending only on Core_kernel
  ☆47Updated 7 years ago
• whitequark / ocaml-m17n
  Multilingualization for the OCaml source code
  ☆49Updated 6 years ago
• murmour / mparser
  A simple monadic parser combinator library for OCaml
  ☆69Updated 3 years ago
• modular-macros / ocaml-macros
  OCaml with macros
  ☆60Updated 2 months ago
• ocaml-multicore / multicore-opam
  OPAM repo for OCaml multicore development
  ☆51Updated 3 years ago
• IndiscriminateCoding / clarity
  Functional programming library for OCaml
  ☆60Updated 6 years ago
• janestreet / higher_kinded
  A library with an encoding of higher kinded types in OCaml
  ☆42Updated 2 months ago
• keigoi / ocaml-mpst
  Multiparty Session Types in OCaml
  ☆59Updated last year
• fpottier / pprint
  A pretty-printing combinator library for OCaml
  ☆51Updated last year
• pdonadeo / ocaml-lens
  Private extraction of astrada's lens library
  ☆57Updated 4 years ago
• LexiFi / csml
  High-level bindings between .Net and OCaml
  ☆66Updated 9 years ago
• mmottl / ocaml-prog-pats
  OCaml Programming Patterns - random tricks, "design patterns", etc.
  ☆52Updated 5 months ago
• rlepigre / pml
  New version of the PML language and (classical) proof assistant
  ☆20Updated 3 years ago
• polytypic / JoinCML
  ☆15Updated 10 years ago
• ocaml-community / ocamlscript
  Write an OCaml script, run an optimized executable
  ☆76Updated 4 years ago
• snowleopard / selective-ocaml
  Selective Applicative Functors in OCaml: Declare Your Effects Statically, Select Which to Execute Dynamically
  ☆47Updated 6 years ago
• dbuenzli / note
  Declarative events and signals for OCaml
  ☆50Updated last year
• samoht / depyt
  Yet another type combinator library
  ☆55Updated 3 years ago
• j4cbo / stilts
  SML On Stilts
  ☆37Updated 11 years ago
• urweb / upo
  The Ur/Web People Organizer
  ☆30Updated last year
• neel-krishnaswami / adjs
  Higher-order FRP compiler
  ☆15Updated 4 years ago
• janestreet / accessor
  A library that makes it nicer to work with nested functional data structures
  ☆61Updated last month
• yallop / ocaml-integers
  Various signed and unsigned integer types for OCaml
  ☆65Updated last year
• tov / shcaml
  Caml-Shcaml: An Ocaml library for Unix shell programming
  ☆69Updated 6 years ago
• PLTools / OCanren
  Statically typed embedding of miniKanren relational programming language into OCaml
  ☆121Updated 2 weeks ago
• agda-attic / agda-ocaml
  OCaml backend for Agda
  ☆39Updated 7 years ago
• polytypic / rea-ml
  Effectful OCaml with Objects and Variants
  ☆29Updated 2 years ago
• avsm / ocaml-lens
  Private extraction of astrada's lens library
  ☆65Updated 4 years ago
• strymonas / staged-streams.ocaml
  ☆60Updated 6 years ago