Alternatives and similar repositories for opam-nix

Users that are interested in opam-nix are comparing it to the libraries listed below

• brendanzab / ocaml-flake-example
  An overly elaborate example of building a ‘Hello World’ package with Nix flakes, OCaml, and Dune
  ☆59Updated 7 months ago
• nix-ocaml / nix-overlays
  OCaml-focused, custom nix-overlays
  ☆113Updated this week
• RyanGibb / hillingar
  Build Mirage unikernels with Nix
  ☆41Updated 2 months ago
• timbertson / opam2nix
  Generate nix expressions from opam packages
  ☆93Updated 4 months ago
• lenianiva / lean4-nix
  Nix overlay for Lean 4, and lake2nix
  ☆47Updated last week
• Gabriella439 / haskell-flake
  Flake template for Haskell repository
  ☆37Updated 8 months ago
• claymager / idris2-pkgs
  An unofficial Idris2 package repository for Nix
  ☆46Updated 2 years ago
• rocq-community / coq-nix-toolbox
  Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]
  ☆41Updated this week
• rizo / onix
  Build OCaml projects with Nix.
  ☆57Updated 3 months ago
• purs-nix / purs-nix
  Manage your PureScript projects with Nix!
  ☆76Updated last month
• rpearce / hakyll-nix-template
  Hakyll + Nix starter template
  ☆58Updated 7 months ago
• pwm / nixkell
  A simple Nix-Haskell skeleton
  ☆112Updated last week
• reubenharry / haskell-docs
  ☆58Updated last year
• utdemir / hs-nix-template
  A Haskell project template that uses Nix and comes with cabal-install, ghcid, ormolu, haskell-language-server and more.
  ☆105Updated 2 years ago
• MercuryTechnologies / ghciwatch
  Load a GHCi session for a Haskell project and reload it when source files change
  ☆137Updated 3 weeks ago
• idris-community / idris2-nvim
  Simple configuration and extra tools for NVIM + LSP + Idris2
  ☆50Updated last month
• lexi-lambda / eff
  🚧 a work in progress effect system for Haskell 🚧
  ☆129Updated last year
• ocaml-multicore / picos
  Interoperable effects based concurrency
  ☆131Updated last week
• josephsumabat / static-ls
  ☆158Updated last week
• stefan-hoeck / idris2-dom
  Javascript DOM bindings for Idris2
  ☆52Updated last year
• purifix / purifix
  The PureScript Package Manager in Nix
  ☆57Updated 5 months ago
• srid / ema
  Change-aware static site generator for Haskell programmers
  ☆123Updated 2 months ago
• ceedubs / unison-nix
  Nix support for the Unison programming language
  ☆61Updated last week
• ad-si / awesome-fp-jobs
  A curated list of awesome functional programming jobs.
  ☆67Updated last week
• talex5 / ocaml-wayland
  Pure OCaml Wayland protocol implementation
  ☆80Updated 3 months ago
• agda / agda-language-server
  Language Server for Agda
  ☆112Updated 6 months ago
• typedbyte / hagato
  Haskell Gamedev Toolkit, a library for developing games from scratch.
  ☆67Updated last year
• tomjaguarpaw / bluefin
  ☆108Updated 2 weeks ago
• obsidiansystems / nix-thunk
  seamless management of source dependencies with nix
  ☆38Updated 5 months ago
• johnyob / grace
  A fancy diagnostics library that allows your compilers to exit with grace
  ☆75Updated 2 months ago