Alternatives and similar repositories for opam2nix

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

• lpw25 / girards-paradox
  A "implementation" of Girard's paradox in OCaml
  ☆109Updated 10 years ago
• janestreet / accessor
  A library that makes it nicer to work with nested functional data structures
  ☆60Updated 2 weeks ago
• rizo / onix
  Build OCaml projects with Nix.
  ☆57Updated 2 weeks ago
• snowleopard / selective-ocaml
  Selective Applicative Functors in OCaml: Declare Your Effects Statically, Select Which to Execute Dynamically
  ☆47Updated 6 years ago
• yallop / higher
  Higher-kinded programming in OCaml
  ☆188Updated 2 years ago
• agda / agda-ocaml
  OCaml backend for Agda
  ☆39Updated 7 years ago
• janestreet / higher_kinded
  A library with an encoding of higher kinded types in OCaml
  ☆42Updated last month
• xvw / preface
  Preface is an opinionated library designed to facilitate the handling of recurring functional programming idioms in OCaml.
  ☆152Updated 7 months ago
• ocurrent / ocaml-ci
  A CI for OCaml projects
  ☆116Updated 3 weeks ago
• dbuenzli / fmt
  OCaml Format pretty-printer combinators
  ☆76Updated 3 months ago
• thufschmitt / tix
  [WIP] A type system for nix
  ☆63Updated 6 years ago
• mjambon / dune-deps
  Show the internal dependencies in your OCaml/Reason/Dune project
  ☆61Updated 6 months ago
• tarides / runtime_events_tools
  ☆51Updated 2 weeks ago
• RedPRL / algaeff
  🦠 Reusable components based on algebraic effects
  ☆51Updated 3 months ago
• lpw25 / ocaml-typed-effects
  OCaml with typed algebraic effects
  ☆52Updated 7 years ago
• LexiFi / landmarks
  A Simple Profiling Library for OCaml
  ☆134Updated 9 months ago
• murmour / mparser
  A simple monadic parser combinator library for OCaml
  ☆69Updated 3 years ago
• rlepigre / ocaml-bindlib
  Efficient binder representation in OCaml
  ☆43Updated last year
• ocamllibs / metapp
  Meta-preprocessor for OCaml
  ☆78Updated last year
• ocamllibs / refl
  OCaml PPX deriver for reflection
  ☆53Updated 2 years ago
• coq-io / system
  Library of Unix effects for Coq.
  ☆23Updated 6 years ago
• modular-macros / ocaml-macros
  OCaml with macros
  ☆59Updated last month
• yallop / ocaml-asp
  Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc
  ☆102Updated 5 months ago
• Gbury / mSAT
  A modular sat/smt solver with proof output.
  ☆101Updated last year
• ocaml-bench / sandmark
  A benchmark suite for the OCaml compiler
  ☆85Updated last year
• OCamlPro / ocp-index
  Easy access to the interface information of installed OCaml libraries for editors like Emacs and Vim.
  ☆68Updated 3 months ago
• balez / generic
  Generic Programming Library for OCaml
  ☆34Updated 8 years ago
• dbuenzli / topkg
  The transitory OCaml software packager
  ☆69Updated last week
• vincent-hugot / qtest
  Inline (Unit) Tests for OCaml
  ☆67Updated 4 years ago
• timbertson / opam2nix-packages
  nix expressions for the official opam repository, using opam2nix
  ☆28Updated 4 years ago