timbertson / opam2nix
Generate nix expressions from opam packages
☆93Updated 2 months ago
Alternatives and similar repositories for opam2nix:
Users that are interested in opam2nix are comparing it to the libraries listed below
- Build OCaml projects with Nix.☆56Updated last month
- nix expressions for the official opam repository, using opam2nix☆27Updated 4 years ago
- [WIP] A type system for nix☆62Updated 5 years ago
- OCaml backend for Agda☆39Updated 6 years ago
- A library that makes it nicer to work with nested functional data structures☆58Updated this week
- Turn opam-based OCaml projects into Nix derivations☆125Updated 2 weeks ago
- Higher-kinded programming in OCaml☆181Updated last year
- Logging infrastructure for OCaml☆86Updated last month
- Ppx_deriving plugin for generating command line interfaces from types (Cmdliner.Term.t)☆97Updated last year
- A CI for OCaml projects☆112Updated last month
- Show the internal dependencies in your OCaml/Reason/Dune project☆59Updated 3 months ago
- OCaml with typed algebraic effects☆49Updated 6 years ago
- Efficient binder representation in OCaml☆42Updated 9 months ago
- Easy access to the interface information of installed OCaml libraries for editors like Emacs and Vim.☆63Updated 3 months ago
- Selective Applicative Functors in OCaml: Declare Your Effects Statically, Select Which to Execute Dynamically☆42Updated 6 years ago
- Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc☆101Updated last year
- OPAM repo for OCaml multicore development☆51Updated 3 years ago
- Inline (Unit) Tests for OCaml☆67Updated 4 years ago
- OCaml Format pretty-printer combinators☆75Updated last month
- Streamlining the release of dune packages to opam☆118Updated 3 weeks ago
- Drafts, notes and resources for adding linear typing to GHC.☆77Updated 4 years ago
- Interactive breakpoints!☆43Updated 11 months ago
- Experimental Malfunction backend for Idris☆81Updated 6 years ago
- A "implementation" of Girard's paradox in OCaml☆107Updated 10 years ago
- Purely functional SSH library in ocaml.☆103Updated this week
- An overly elaborate example of building a ‘Hello World’ package with Nix flakes, OCaml, and Dune☆58Updated 5 months ago
- OCaml extended with modular implicits☆104Updated 6 years ago
- OCaml with macros☆57Updated 2 weeks ago
- Meta-preprocessor for OCaml☆77Updated last year
- Property-based testing at ease☆42Updated 3 years ago