corajr / heroku-buildpack-nix-prootView external linksLinks
A Heroku buildpack using Nix.
☆13Mar 28, 2017Updated 8 years ago
Alternatives and similar repositories for heroku-buildpack-nix-proot
Users that are interested in heroku-buildpack-nix-proot are comparing it to the libraries listed below
Sorting:
- On-demand provisioning tool for Hydra☆30Apr 25, 2019Updated 6 years ago
- Abandonware☆89Sep 7, 2016Updated 9 years ago
- nixpkgs-python is automatically (via pypi2nix) managed collection of nix+python expressions☆17Jan 29, 2019Updated 7 years ago
- Haskell library to interface with the nix package manager☆25Nov 23, 2021Updated 4 years ago
- Haskell: Efficiently build a bytestring from smaller chunks☆24Jun 25, 2022Updated 3 years ago
- abstraction for auto scrubbing and const time Eq, memory chunk☆17Feb 15, 2020Updated 6 years ago
- Foreign variables, deprecated in favor of `StateVar`☆11May 1, 2019Updated 6 years ago
- Concurrency features for the Haskell machines package☆16Mar 11, 2022Updated 3 years ago
- A special shebang to run scripts in a nix-shell☆28Apr 22, 2015Updated 10 years ago
- Privbind is a small tool allowing secure running of unprivileged programs, but allowing them to bind to privileged (<1024) TCP/UDP ports.…☆12Jul 18, 2016Updated 9 years ago
- Search emails with Notmuch and Helm☆13Mar 20, 2019Updated 6 years ago
- being the notes and materials for CS410 in the 2013/14 academic session☆30May 27, 2014Updated 11 years ago
- EventStore implementation on top of AWS DynamoDB☆10Feb 26, 2017Updated 8 years ago
- installs missing modules and saves as dependencies in package.json☆11Jun 25, 2017Updated 8 years ago
- ☆30Oct 30, 2020Updated 5 years ago
- IO without any PseudoExceptions☆28May 13, 2020Updated 5 years ago
- Kubernetes deployment manager written in nix (DEPRECATED for https://github.com/xtruder/kubenix)☆80Jun 26, 2018Updated 7 years ago
- nix-build extension for better logging☆18Sep 23, 2025Updated 4 months ago
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Sep 10, 2015Updated 10 years ago
- being a collection of Agda-facilitated ramblings☆33May 20, 2020Updated 5 years ago
- ☆26Oct 7, 2016Updated 9 years ago
- GNU bash backend for Idris☆52Feb 14, 2019Updated 7 years ago
- A library for using algebraic data types in the Nix expression language.☆32Jan 29, 2018Updated 8 years ago
- Idris to Serpent back end for Ethereum smart contracts☆31Sep 14, 2017Updated 8 years ago
- Cookbook for working with Nix☆14Jan 10, 2015Updated 11 years ago
- New Relic® agent SDK wrapper for Haskell☆13Dec 27, 2017Updated 8 years ago
- Nix development utils that will blow up your mind☆44Dec 16, 2015Updated 10 years ago
- Build minimal ACI containers using the Nix package manager☆16Jun 4, 2017Updated 8 years ago
- A bunch of NPM packages defined in the nix language.☆12May 25, 2021Updated 4 years ago
- ☆22Jan 7, 2026Updated last month
- United Monoids☆24Oct 2, 2022Updated 3 years ago
- List of ICFP'13 accepted papers, with links to preprint or additional information when available☆72Jul 24, 2016Updated 9 years ago
- A tool for caching cabal builds in a Nix store☆33Dec 23, 2015Updated 10 years ago
- An implementation of the Haskell ByteString library using the Fiat system from MIT☆34Apr 4, 2022Updated 3 years ago
- Use JuicyPixels datatypes in Servant Requests/Responses directly☆19Oct 7, 2023Updated 2 years ago
- Run commands on git pull☆17Jul 27, 2015Updated 10 years ago
- ☆13Aug 6, 2017Updated 8 years ago
- Compile Dhall expressions to Cabal files☆102Dec 26, 2022Updated 3 years ago
- IPython-style interaction for Cryptol☆15Dec 5, 2016Updated 9 years ago