tweag / opam-nixLinks
Turn opam-based OCaml projects into Nix derivations
☆148Updated last month
Alternatives and similar repositories for opam-nix
Users that are interested in opam-nix are comparing it to the libraries listed below
Sorting:
- An overly elaborate example of building a ‘Hello World’ package with Nix flakes, OCaml, and Dune☆65Updated last year
- OCaml-focused, custom nix-overlays☆115Updated this week
- Nix overlay for Lean 4, and lake2nix☆83Updated this week
- Hakyll + Nix starter template☆62Updated last year
- Flake template for Haskell repository☆38Updated last year
- Create Opam switches where the compiler and tools are built by Nix.☆13Updated 2 months ago
- An unofficial Idris2 package repository for Nix☆47Updated 3 years ago
- Generate nix expressions from opam packages☆92Updated 11 months ago
- 🚧 a work in progress effect system for Haskell 🚧☆139Updated 2 years ago
- Build Mirage unikernels with Nix☆46Updated last month
- The first ever roguelike written in the OCaml type system☆94Updated 9 months ago
- Manage your PureScript projects with Nix!☆79Updated 2 weeks ago
- Load a GHCi session for a Haskell project and reload it when source files change☆155Updated last week
- ☆180Updated last week
- Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]☆50Updated 2 weeks ago
- A modern step-through debugger for GHC Haskell☆108Updated this week
- A simple Nix-Haskell skeleton☆118Updated 7 months ago
- ☆142Updated this week
- Pure OCaml Wayland protocol implementation☆88Updated 2 months ago
- Fine-grained Haskell builds with Nix's dynamic derivations☆40Updated 8 months ago
- A curated list of awesome functional programming jobs.☆82Updated 3 months ago
- Prototype for https://github.com/Innf107/vega☆19Updated last year
- Nix support for the Unison programming language☆69Updated 3 weeks ago
- ☆58Updated 2 years ago
- A Haskell project template that uses Nix and comes with cabal-install, ghcid, ormolu, haskell-language-server and more.☆107Updated 2 years ago
- Nix configuration for reproducible builds of LaTeX documents☆25Updated 4 years ago
- Easy PureScript (and other tools) with Nix☆207Updated 2 months ago
- Change-aware static site generator for Haskell programmers☆126Updated 2 months ago
- Material for Haskell training☆37Updated 3 years ago
- Interoperable effects based concurrency☆142Updated this week