timbertson / opam2nixLinks
Generate nix expressions from opam packages
☆92Updated last year
Alternatives and similar repositories for opam2nix
Users that are interested in opam2nix are comparing it to the libraries listed below
Sorting:
- A "implementation" of Girard's paradox in OCaml☆110Updated 10 years ago
- Selective Applicative Functors in OCaml: Declare Your Effects Statically, Select Which to Execute Dynamically☆48Updated 6 years ago
- Build OCaml projects with Nix.☆59Updated last month
- A library that makes it nicer to work with nested functional data structures☆61Updated 3 weeks ago
- Preface is an opinionated library designed to facilitate the handling of recurring functional programming idioms in OCaml.☆154Updated 2 weeks ago
- Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc☆104Updated 8 months ago
- Higher-kinded programming in OCaml☆190Updated last month
- OCaml backend for Agda☆39Updated 7 years ago
- Show the internal dependencies in your OCaml/Reason/Dune project☆61Updated 9 months ago
- A CI for OCaml projects☆117Updated last week
- Library of Unix effects for Coq.☆23Updated 6 years ago
- Experimental Malfunction backend for Idris☆82Updated 7 years ago
- Design discussions about the OCaml language☆172Updated 2 months ago
- Efficient binder representation in OCaml☆43Updated last year
- Purely functional SSH library in ocaml.☆105Updated 7 months ago
- Generic Programming Library for OCaml☆34Updated 8 years ago
- Streamlining the release of dune packages to opam☆119Updated 2 weeks ago
- Inline (Unit) Tests for OCaml☆67Updated 4 years ago
- Lookup documentation of installed OCaml packages☆72Updated last month
- OCaml with typed algebraic effects☆52Updated 7 years ago
- Lightweight document☆147Updated 4 months ago
- nix expressions for the official opam repository, using opam2nix☆28Updated 4 years ago
- Ppx_deriving plugin for generating command line interfaces from types (Cmdliner.Term.t)☆97Updated 2 years ago
- Easy access to the interface information of installed OCaml libraries for editors like Emacs and Vim.☆68Updated last week
- multi-shot continuations in OCaml☆51Updated 2 months ago
- Meta-preprocessor for OCaml☆79Updated 2 years ago
- An OCaml mutation tester☆67Updated 2 months ago
- OCaml PPX deriver for reflection☆53Updated 3 years ago
- [WIP] A type system for nix☆63Updated 6 years ago
- Turn opam-based OCaml projects into Nix derivations☆148Updated last week