Alternatives and similar repositories for opam2nix

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

• rizo / onix
  Build OCaml projects with Nix.
  ☆57Updated 3 months ago
• yallop / higher
  Higher-kinded programming in OCaml
  ☆183Updated last year
• janestreet / accessor
  A library that makes it nicer to work with nested functional data structures
  ☆59Updated last month
• lpw25 / girards-paradox
  A "implementation" of Girard's paradox in OCaml
  ☆109Updated 10 years ago
• agda / agda-ocaml
  OCaml backend for Agda
  ☆40Updated 6 years ago
• timbertson / opam2nix-packages
  nix expressions for the official opam repository, using opam2nix
  ☆27Updated 4 years ago
• snowleopard / selective-ocaml
  Selective Applicative Functors in OCaml: Declare Your Effects Statically, Select Which to Execute Dynamically
  ☆46Updated 6 years ago
• xvw / preface
  Preface is an opinionated library designed to facilitate the handling of recurring functional programming idioms in OCaml.
  ☆148Updated 3 months ago
• murmour / mparser
  A simple monadic parser combinator library for OCaml
  ☆67Updated 2 years ago
• lpw25 / ocaml-typed-effects
  OCaml with typed algebraic effects
  ☆50Updated 6 years ago
• thufschmitt / tix
  [WIP] A type system for nix
  ☆62Updated 6 years ago
• ocurrent / ocaml-ci
  A CI for OCaml projects
  ☆113Updated last month
• pedagand / typechecker-evolution
  The Evolution of a Typechecker
  ☆54Updated 6 years ago
• elpinal / modules
  Implementations of F-ing modules and 1ML, as well as bibliography of (mainly ML-style) modules
  ☆31Updated 2 years ago
• coq-io / system
  Library of Unix effects for Coq.
  ☆24Updated 5 years ago
• mjambon / dune-deps
  Show the internal dependencies in your OCaml/Reason/Dune project
  ☆60Updated 2 months 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
  ☆101Updated 2 months ago
• rlepigre / ocaml-bindlib
  Efficient binder representation in OCaml
  ☆43Updated last year
• dbuenzli / fmt
  OCaml Format pretty-printer combinators
  ☆75Updated last month
• tweag / opam-nix
  Turn opam-based OCaml projects into Nix derivations
  ☆133Updated last week
• mirage / awa-ssh
  Purely functional SSH library in ocaml.
  ☆103Updated last month
• rocq-community / parseque
  Total Parser Combinators in Coq [maintainer=@womeier]
  ☆45Updated 2 weeks ago
• ocamllibs / metapp
  Meta-preprocessor for OCaml
  ☆77Updated last year
• janestreet / higher_kinded
  A library with an encoding of higher kinded types in OCaml
  ☆40Updated last month
• janestreet / shexp
  Process library and s-expression based shell
  ☆140Updated 2 months ago
• let-def / lwd
  Lightweight document
  ☆138Updated last month
• b0-system / odig
  Lookup documentation of installed OCaml packages
  ☆68Updated this week
• ocamllabs / ocaml-modular-implicits
  OCaml extended with modular implicits
  ☆104Updated 6 years ago
• hammerlab / ppx_deriving_cmdliner
  Ppx_deriving plugin for generating command line interfaces from types (Cmdliner.Term.t)
  ☆96Updated last year