tweag / opam-nix
Turn opam-based OCaml projects into Nix derivations
☆122Updated this week
Alternatives and similar repositories for opam-nix:
Users that are interested in opam-nix are comparing it to the libraries listed below
- An overly elaborate example of building a ‘Hello World’ package with Nix flakes, OCaml, and Dune☆58Updated 3 months ago
- OCaml-focused, custom nix-overlays☆109Updated this week
- Generate nix expressions from opam packages☆94Updated last month
- An unofficial Idris2 package repository for Nix☆46Updated 2 years ago
- Build Mirage unikernels with Nix☆39Updated 9 months ago
- Flake template for Haskell repository☆33Updated 5 months ago
- A curated list of awesome functional programming jobs.☆65Updated 3 months ago
- Manage your PureScript projects with Nix!☆75Updated this week
- Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]☆37Updated this week
- Build OCaml projects with Nix.☆55Updated last week
- Material for Haskell training☆34Updated 2 years ago
- Nix overlay for Lean 4, and lake2nix☆34Updated last week
- Pure OCaml Wayland protocol implementation☆74Updated 3 weeks ago
- A dependently typed programming language with direct style effects and linearity☆19Updated 7 months ago
- Simple configuration and extra tools for NVIM + LSP + Idris2☆47Updated 3 months ago
- A Haskell project template that uses Nix and comes with cabal-install, ghcid, ormolu, haskell-language-server and more.☆104Updated last year
- Nix support for the Unison programming language☆57Updated 2 weeks ago
- Interoperable effects based concurrency☆121Updated this week
- Hakyll + Nix starter template☆57Updated 4 months ago
- Change-aware static site generator for Haskell programmers☆121Updated last month
- Nix configuration for reproducible builds of LaTeX documents☆25Updated 3 years ago
- 🚧 a work in progress effect system for Haskell 🚧☆126Updated last year
- A fancy diagnostics library that allows your compilers to exit with grace☆71Updated 8 months ago
- Wrapper around the OCaml `lsp` library to make it easier to write LSP servers☆32Updated last month
- ☆59Updated last year
- A CI for OCaml projects☆112Updated last month
- ☆60Updated last year
- Purescript compiler back-end for Lua☆55Updated 5 months ago
- Javascript DOM bindings for Idris2☆51Updated 9 months ago
- Functional choreographic programming in Haskell☆91Updated 2 months ago