A Heroku buildpack using Nix.
☆13Mar 28, 2017Updated 9 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Haskell library to interface with the nix package manager☆25Nov 23, 2021Updated 4 years ago
- On-demand provisioning tool for Hydra☆30Apr 25, 2019Updated 6 years ago
- Abandonware☆89Sep 7, 2016Updated 9 years ago
- A special shebang to run scripts in a nix-shell☆28Apr 22, 2015Updated 10 years ago
- nixpkgs-python is automatically (via pypi2nix) managed collection of nix+python expressions☆17Jan 29, 2019Updated 7 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Haskell: Efficiently build a bytestring from smaller chunks☆24Jun 25, 2022Updated 3 years ago
- New Relic® agent SDK wrapper for Haskell☆13Dec 27, 2017Updated 8 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 9 years ago
- Concurrency features for the Haskell machines package☆16Mar 11, 2022Updated 4 years ago
- Foreign variables, deprecated in favor of `StateVar`☆11May 1, 2019Updated 6 years ago
- Cookbook for working with Nix☆14Jan 10, 2015Updated 11 years ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Jan 28, 2018Updated 8 years ago
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Sep 10, 2015Updated 10 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- 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 6 months 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
- Idris to Serpent back end for Ethereum smart contracts☆31Sep 14, 2017Updated 8 years ago
- being a collection of Agda-facilitated ramblings☆33May 20, 2020Updated 5 years ago
- installs missing modules and saves as dependencies in package.json☆11Jun 25, 2017Updated 8 years ago
- An implementation of the Haskell ByteString library using the Fiat system from MIT☆34Apr 4, 2022Updated 3 years ago
- A bunch of NPM packages defined in the nix language.☆12May 25, 2021Updated 4 years ago
- GNU bash backend for Idris☆52Feb 14, 2019Updated 7 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- IO without any PseudoExceptions☆28May 13, 2020Updated 5 years ago
- Nix development utils that will blow up your mind☆45Dec 16, 2015Updated 10 years ago
- ☆30Oct 30, 2020Updated 5 years ago
- ☆26Oct 7, 2016Updated 9 years ago
- abstraction for auto scrubbing and const time Eq, memory chunk☆17Feb 15, 2020Updated 6 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
- Search emails with Notmuch and Helm☆13Mar 20, 2019Updated 7 years ago
- United Monoids☆24Oct 2, 2022Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- being an experiment with potato power☆23Jan 14, 2020Updated 6 years ago
- Mechanization of Hazelnut, as submitted to POPL 2017☆16Nov 24, 2021Updated 4 years ago
- List of ICFP'13 accepted papers, with links to preprint or additional information when available☆72Jul 24, 2016Updated 9 years ago
- ☆22Jan 7, 2026Updated 2 months ago
- ☆19Mar 23, 2017Updated 9 years ago
- ☆45Jun 20, 2019Updated 6 years ago
- ☆25Aug 10, 2016Updated 9 years ago