timbertson / opam2nix

Related projects ⓘ

Alternatives and complementary repositories for opam2nix

• timbertson / opam2nix-packages
  nix expressions for the official opam repository, using opam2nix
  ☆27Updated 3 years ago
• janestreet / accessor
  A library that makes it nicer to work with nested functional data structures
  ☆54Updated last week
• lpw25 / girards-paradox
  A "implementation" of Girard's paradox in OCaml
  ☆105Updated 9 years ago
• agda / agda-ocaml
  OCaml backend for Agda
  ☆39Updated 6 years ago
• yallop / higher
  Higher-kinded programming in OCaml
  ☆180Updated last year
• rizo / onix
  Build OCaml projects with Nix.
  ☆54Updated 2 months ago
• ocurrent / ocaml-ci
  A CI for OCaml projects
  ☆112Updated this week
• tweag / opam-nix
  Turn opam-based OCaml projects into Nix derivations
  ☆111Updated last week
• hammerlab / ppx_deriving_cmdliner
  Ppx_deriving plugin for generating command line interfaces from types (Cmdliner.Term.t)
  ☆96Updated last year
• thufschmitt / tix
  [WIP] A type system for nix
  ☆61Updated 5 years ago
• tarides / dune-release
  Streamlining the release of dune packages to opam
  ☆114Updated 3 months ago
• stedolan / idris-malfunction
  Experimental Malfunction backend for Idris
  ☆81Updated 6 years ago
• coq-community / parseque
  Total Parser Combinators in Coq [maintainer=@womeier]
  ☆42Updated 10 months ago
• mirage / awa-ssh
  Purely functional SSH library in ocaml.
  ☆103Updated 2 months ago
• murmour / mparser
  A simple monadic parser combinator library for OCaml
  ☆65Updated 2 years ago
• vincent-hugot / qtest
  Inline (Unit) Tests for OCaml
  ☆66Updated 3 years ago
• janestreet / shexp
  Process library and s-expression based shell
  ☆126Updated last week
• dariusf / ppx_interact
  Interactive breakpoints!
  ☆43Updated 6 months ago
• mjambon / dune-deps
  Show the internal dependencies in your OCaml/Reason/Dune project
  ☆58Updated last week
• rlepigre / ocaml-bindlib
  Efficient binder representation in OCaml
  ☆39Updated 4 months ago
• dbuenzli / fmt
  OCaml Format pretty-printer combinators
  ☆71Updated 9 months ago
• snowleopard / selective-ocaml
  Selective Applicative Functors in OCaml: Declare Your Effects Statically, Select Which to Execute Dynamically
  ☆40Updated 5 years ago
• lpw25 / ocaml-typed-effects
  OCaml with typed algebraic effects
  ☆48Updated 6 years ago
• dbuenzli / logs
  Logging infrastructure for OCaml
  ☆86Updated 2 months ago
• dbuenzli / topkg
  The transitory OCaml software packager
  ☆68Updated last year
• tarides / runtime_events_tools
  ☆47Updated 2 months ago
• keigoi / ocaml-mpst
  Multiparty Session Types in OCaml
  ☆57Updated 2 weeks ago
• johnwhitington / ppx_blob
  OCaml ppx to include binary data from a file as a string
  ☆76Updated 2 months ago
• ocamllabs / ocaml-modular-implicits
  OCaml extended with modular implicits
  ☆103Updated 6 years ago