tweag / opam-nixLinks
Turn opam-based OCaml projects into Nix derivations
☆140Updated last week
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☆67Updated 11 months ago
- OCaml-focused, custom nix-overlays☆112Updated this week
- Nix overlay for Lean 4, and lake2nix☆62Updated last week
- Generate nix expressions from opam packages☆92Updated 9 months ago
- Build Mirage unikernels with Nix☆43Updated 6 months ago
- An unofficial Idris2 package repository for Nix☆47Updated 3 years ago
- Manage your PureScript projects with Nix!☆79Updated 5 months ago
- Flake template for Haskell repository☆38Updated last year
- The first ever roguelike written in the OCaml type system☆91Updated 6 months ago
- Create Opam switches where the compiler and tools are built by Nix.☆11Updated 4 months ago
- Hakyll + Nix starter template☆62Updated last year
- Pure OCaml Wayland protocol implementation☆85Updated 3 months ago
- A fancy diagnostics library that allows your compilers to exit with grace☆86Updated 3 weeks ago
- Change-aware static site generator for Haskell programmers☆125Updated last month
- Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]☆47Updated last week
- Prototype for https://github.com/Innf107/vega☆19Updated last year
- Interoperable effects based concurrency☆135Updated 4 months ago
- Build OCaml projects with Nix.☆57Updated 7 months ago
- Load a GHCi session for a Haskell project and reload it when source files change☆150Updated last month
- Easily build a Haskell project from a stack.yaml.lock file with Nix☆54Updated last month
- A simple Nix-Haskell skeleton☆118Updated 4 months ago
- 🚧 a work in progress effect system for Haskell 🚧☆133Updated 2 years ago
- ☆174Updated this week
- Fine-grained Haskell builds with Nix's dynamic derivations☆38Updated 5 months ago
- A curated list of awesome functional programming jobs.☆80Updated this week
- A functional programming language with shell scripting capabilities☆123Updated 3 months ago
- Lightweight document☆145Updated last month
- agda-mode for neovim☆168Updated this week
- Simple configuration and extra tools for NVIM + LSP + Idris2☆51Updated 2 weeks ago
- Preface is an opinionated library designed to facilitate the handling of recurring functional programming idioms in OCaml.☆152Updated 6 months ago