Stackage overlay for Nixpkgs
☆25Apr 15, 2020Updated 5 years ago
Alternatives and similar repositories for nixpkgs-stackage
Users that are interested in nixpkgs-stackage are comparing it to the libraries listed below
Sorting:
- Haskell bindings to the Eigen C++ library☆16May 23, 2024Updated last year
- Haskell numerical ODE solvers☆14Aug 21, 2017Updated 8 years ago
- sliding fast fourier transform using haskell streaming☆13Feb 19, 2019Updated 7 years ago
- [WIP] Nix overlay for making programs xdg compliant☆22Dec 1, 2017Updated 8 years ago
- GHCJS FFI bindings to the Electron API (WIP).☆10May 21, 2017Updated 8 years ago
- "An Altruistic Processor", implemented in CLaSH (WARNING: incomplete code)☆13Mar 31, 2017Updated 8 years ago
- Simple setup for deploying Haskell to Amazon Lambda☆14Jun 25, 2020Updated 5 years ago
- An attempt to reimagine knowledge interaction.☆18Sep 27, 2020Updated 5 years ago
- A GHC source plugin which detects opportunities to use coerce☆17Aug 8, 2018Updated 7 years ago
- ☆18May 23, 2020Updated 5 years ago
- Terraform provider for NixOS and NixOps☆71May 11, 2020Updated 5 years ago
- ☆18Aug 31, 2022Updated 3 years ago
- Generate Nix build instructions from a Stack file☆49Feb 18, 2021Updated 5 years ago
- Translate Cabals Generic Package Description to a Nix expression☆95Jun 26, 2023Updated 2 years ago
- Extended Kalman filtering in Haskell☆23Oct 31, 2018Updated 7 years ago
- Nix installation for ghcide☆74Jan 6, 2021Updated 5 years ago
- A set of tools for building graph rewriting systems and more specifically, working with the chemlambda rewrite model of computation.☆12Dec 27, 2016Updated 9 years ago
- Union mount in Haskell, with fsnotify☆12Dec 23, 2025Updated 2 months ago
- 📦 PureScript package management with Nix☆11Aug 17, 2019Updated 6 years ago
- A tool that generates a data structure from a schema and some relational queries, using modern database techniques to make queries highly…☆10Jul 25, 2021Updated 4 years ago
- A public description of our private LumiGuide monorepo that can be used in talks and in mailing list discussions☆10Mar 26, 2017Updated 8 years ago
- typesafe implementation of tensor algebra in Haskell☆13Feb 27, 2021Updated 5 years ago
- Elis Hirwing's personal website☆11Updated this week
- A simple formatter for Nix using tree-sitter-nix.☆46Nov 5, 2019Updated 6 years ago
- Cut-pursuit algorithms, parallelized along components☆10Aug 5, 2020Updated 5 years ago
- A shebang for running scripts inside nix-shell with defined dependencies☆26Mar 23, 2020Updated 5 years ago
- DSL for forward and reverse mode automatic differentiation in Haskell. Port of DiffSharp.☆28Jun 27, 2019Updated 6 years ago
- ☆41Nov 9, 2022Updated 3 years ago
- A Nix expression for nightly Rust versions☆40Aug 14, 2019Updated 6 years ago
- Deciding Presburger arithmetic in agda☆33Mar 25, 2023Updated 2 years ago
- Tutorials for Nix and Nixpkgs. Note so far it is a proof of concept.☆25May 10, 2020Updated 5 years ago
- Auth0 API in Haskell☆26Oct 18, 2018Updated 7 years ago
- Timing attack resistant type systems☆24May 13, 2015Updated 10 years ago
- Starfield renderer☆11Jun 26, 2019Updated 6 years ago
- Automatically generated Nix expressions of Stackage snapshots☆11Updated this week
- A REPL for nix expressions in your browser☆13May 5, 2018Updated 7 years ago
- Linter for the Nix expression language☆155Feb 27, 2023Updated 3 years ago
- A drop-in replacement for `cargo` which yet uses crates.io index☆16Dec 14, 2016Updated 9 years ago
- This will, one day, be a Haskell implementation of Cap'n Proto.☆11Feb 21, 2016Updated 10 years ago