A special shebang to run scripts in a nix-shell
☆29Apr 22, 2015Updated 11 years ago
Alternatives and similar repositories for nixbang
Users that are interested in nixbang are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- NixOps deployment☆32May 3, 2018Updated 8 years ago
- Library for Nix expression dependency generation☆11Jun 25, 2015Updated 11 years ago
- Run programs defined in nix expressions☆50Jan 31, 2017Updated 9 years ago
- A Heroku buildpack using Nix.☆13Mar 28, 2017Updated 9 years ago
- http://www.reddit.com/r/NixOS/comments/3544gi/nix_runixporn/☆31Oct 1, 2015Updated 11 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- nixpkgs package status, freshness and security status monitor☆37Nov 18, 2016Updated 9 years ago
- Nix development utils that will blow up your mind☆44Dec 16, 2015Updated 10 years ago
- Tools to make nix nicer to use☆325Jan 14, 2026Updated 9 months ago
- An experimental type theory with scoped equality reflection, and non-arbitrary proof search. This is basically a pared down version of An…☆12Jul 27, 2014Updated 12 years ago
- NixOS theme for SLiM lock☆17Feb 17, 2018Updated 8 years ago
- My configuration files☆38Mar 16, 2026Updated 7 months ago
- ☆27Feb 18, 2022Updated 4 years ago
- Deploying things with dependencies to AWS EC2☆17Oct 2, 2017Updated 9 years ago
- Functional Programing in Scala (in Idris) [Idris]☆16Mar 23, 2015Updated 11 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Nix(OS) expressions used by the OpenLab and its members☆108Updated this week
- View and tail files of any size in the Atom editor. Great for logs.☆11Aug 30, 2015Updated 11 years ago
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆27Sep 10, 2015Updated 11 years ago
- Experimental C++11 backend for Idris☆16Nov 29, 2014Updated 11 years ago
- ☆10Feb 18, 2016Updated 10 years ago
- An old tutorial for using `Effects` in Idris.☆23Sep 10, 2015Updated 11 years ago
- A translation of Certified Programming with Dependent Types to Idris.☆13May 2, 2014Updated 12 years ago
- Predictable Haskell development environments with Cabal and Nix.☆66Oct 18, 2019Updated 7 years ago
- Directed acyclic word graphs☆11Jul 22, 2013Updated 13 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- biegunka scripts to keep various environments' configuration updated☆25Mar 7, 2023Updated 3 years ago
- Typed DSLs for sorting☆20Feb 16, 2018Updated 8 years ago
- NixOS configurations for multiple computers☆14Nov 3, 2014Updated 12 years ago
- Little web app displaying the age of the last NixOS channels☆44May 18, 2020Updated 6 years ago
- This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"☆19Dec 24, 2018Updated 7 years ago
- Automatic code formatter for the Nix programming language☆49Sep 21, 2016Updated 10 years ago
- Easy FFI for PureScript☆35May 24, 2022Updated 4 years ago
- Tuple data structures.☆15Jan 4, 2017Updated 9 years ago
- Generates Nix definitions for your SBT builds☆43Jun 6, 2018Updated 8 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Detect logical fallacies in text (POC)☆14Apr 22, 2015Updated 11 years ago
- A bunch of NPM packages defined in the nix language.☆12May 25, 2021Updated 5 years ago
- Base library for HoTT in Agda☆39Apr 2, 2019Updated 7 years ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆20Jan 28, 2018Updated 8 years ago
- deprecated☆16Jul 13, 2014Updated 12 years ago
- A collection of proofs for some idris class instances - NOT MAINTAINED☆18May 14, 2015Updated 11 years ago
- Generate flow charts from your code base.☆15Sep 14, 2015Updated 11 years ago