Alternatives and similar repositories for 1ml

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

• janestreet / incremental_kernel
  Library for incremental computations depending only on Core_kernel
  ☆48Updated 7 years ago
• yallop / ocaml-integers
  Various signed and unsigned integer types for OCaml
  ☆66Updated 8 months ago
• plum-umd / adapton.ocaml
  (Nominal) Adapton in OCaml
  ☆55Updated 9 years ago
• snowleopard / selective-ocaml
  Selective Applicative Functors in OCaml: Declare Your Effects Statically, Select Which to Execute Dynamically
  ☆46Updated 6 years ago
• modular-macros / ocaml-macros
  OCaml with macros
  ☆58Updated 2 months ago
• murmour / mparser
  A simple monadic parser combinator library for OCaml
  ☆67Updated 3 years ago
• pdonadeo / ocaml-lens
  Private extraction of astrada's lens library
  ☆56Updated 4 years ago
• tov / shcaml
  Caml-Shcaml: An Ocaml library for Unix shell programming
  ☆68Updated 6 years ago
• keigoi / ocaml-mpst
  Multiparty Session Types in OCaml
  ☆59Updated 10 months ago
• ocaml-multicore / multicore-opam
  OPAM repo for OCaml multicore development
  ☆51Updated 3 years ago
• kayceesrk / multiMLton
  MLton for scalable multicore architectures
  ☆57Updated 11 years ago
• avsm / ocaml-lens
  Private extraction of astrada's lens library
  ☆66Updated 4 years ago
• IndiscriminateCoding / clarity
  Functional programming library for OCaml
  ☆60Updated 5 years ago
• LexiFi / csml
  High-level bindings between .Net and OCaml
  ☆66Updated 8 years ago
• polytypic / JoinCML
  ☆15Updated 10 years ago
• agda / agda-ocaml
  OCaml backend for Agda
  ☆40Updated 6 years ago
• fpottier / pprint
  A pretty-printing combinator library for OCaml
  ☆51Updated last year
• mmottl / ocaml-prog-pats
  OCaml Programming Patterns - random tricks, "design patterns", etc.
  ☆52Updated last month
• travisbrady / flajolet
  Probabilistic data structures for OCaml
  ☆39Updated 7 years ago
• yallop / higher
  Higher-kinded programming in OCaml
  ☆183Updated 2 years ago
• janestreet / accessor
  A library that makes it nicer to work with nested functional data structures
  ☆60Updated 3 weeks ago
• urweb / upo
  The Ur/Web People Organizer
  ☆30Updated last year
• palladin / idris-snippets
  Collection of Idris snippets
  ☆23Updated last year
• ocaml-multicore / dscheck
  Experimental model checker for testing concurrent algorithms
  ☆39Updated 8 months ago
• vincent-hugot / qtest
  Inline (Unit) Tests for OCaml
  ☆67Updated 4 years ago
• mmottl / aifad
  AIFAD - Automated Induction of Functions over Algebraic Data Types
  ☆30Updated last week
• janestreet / higher_kinded
  A library with an encoding of higher kinded types in OCaml
  ☆40Updated 3 weeks ago
• ocaml-community / ocamlscript
  Write an OCaml script, run an optimized executable
  ☆76Updated 3 years ago
• jack-pappas / experimental-functors
  An experiment at expressing functors in F# the .NET type system.
  ☆17Updated 11 years ago
• PLTools / OCanren
  Statically typed embedding of miniKanren relational programming language into OCaml
  ☆118Updated 2 months ago