Alternatives and similar repositories for opam2nix

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

• lpw25 / ocaml-typed-effects
  OCaml with typed algebraic effects
  ☆52Updated 7 years ago
• snowleopard / selective-ocaml
  Selective Applicative Functors in OCaml: Declare Your Effects Statically, Select Which to Execute Dynamically
  ☆47Updated 6 years ago
• janestreet / accessor
  A library that makes it nicer to work with nested functional data structures
  ☆61Updated last week
• rizo / onix
  Build OCaml projects with Nix.
  ☆59Updated last month
• agda-attic / agda-ocaml
  OCaml backend for Agda
  ☆39Updated 7 years ago
• lpw25 / girards-paradox
  A "implementation" of Girard's paradox in OCaml
  ☆110Updated 10 years ago
• stedolan / idris-malfunction
  Experimental Malfunction backend for Idris
  ☆82Updated 7 years ago
• yallop / ocaml-asp
  Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc
  ☆104Updated 8 months ago
• yallop / higher
  Higher-kinded programming in OCaml
  ☆190Updated last week
• coq-io / system
  Library of Unix effects for Coq.
  ☆23Updated 6 years ago
• janestreet / higher_kinded
  A library with an encoding of higher kinded types in OCaml
  ☆43Updated last week
• vincent-hugot / qtest
  Inline (Unit) Tests for OCaml
  ☆67Updated 4 years ago
• tarides / runtime_events_tools
  ☆53Updated this week
• dannywillems / RML
  ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.
  ☆38Updated 3 years ago
• balez / generic
  Generic Programming Library for OCaml
  ☆34Updated 8 years ago
• murmour / mparser
  A simple monadic parser combinator library for OCaml
  ☆69Updated 3 years ago
• mjambon / dune-deps
  Show the internal dependencies in your OCaml/Reason/Dune project
  ☆61Updated 8 months ago
• mirage / awa-ssh
  Purely functional SSH library in ocaml.
  ☆104Updated 7 months ago
• rlepigre / ocaml-bindlib
  Efficient binder representation in OCaml
  ☆43Updated last year
• dbuenzli / topkg
  The transitory OCaml software packager
  ☆70Updated 2 months ago
• RedPRL / algaeff
  🦠 Reusable components based on algebraic effects
  ☆51Updated 2 months ago
• xvw / preface
  Preface is an opinionated library designed to facilitate the handling of recurring functional programming idioms in OCaml.
  ☆154Updated this week
• timbertson / opam2nix-packages
  nix expressions for the official opam repository, using opam2nix
  ☆28Updated 4 years ago
• dbuenzli / fmt
  OCaml Format pretty-printer combinators
  ☆77Updated 6 months ago
• jmid / mutaml
  An OCaml mutation tester
  ☆66Updated 2 months ago
• modular-macros / ocaml-macros
  OCaml with macros
  ☆60Updated 3 months ago
• thufschmitt / tix
  [WIP] A type system for nix
  ☆63Updated 6 years ago
• ocamllibs / metapp
  Meta-preprocessor for OCaml
  ☆78Updated 2 years ago
• hhugo / merge-fmt
  Git mergetool leveraging code formatters.
  ☆39Updated 7 months ago
• elpinal / modules
  Implementations of F-ing modules and 1ML, as well as bibliography of (mainly ML-style) modules
  ☆31Updated 2 years ago