haskell-infra / auronLinks
Theoretical Next Gen™ automation for Haskell.org (DO NOT USE)
☆20Updated 4 years ago
Alternatives and similar repositories for auron
Users that are interested in auron are comparing it to the libraries listed below
Sorting:
- Shell Integration Library [Haskell]☆54Updated 10 months ago
- GNU bash backend for Idris☆52Updated 6 years ago
- Generate NetHack configurations using Dhall☆37Updated 4 years ago
- ☆21Updated 10 years ago
- A Dynamic Reconfiguration Library for Haskell Programs☆93Updated 5 months ago
- Cheatsheet for the nix toolset☆39Updated 7 years ago
- System POSIX bindings for Idris.☆36Updated 7 years ago
- This repository has moved to https://github.com/dhall-lang/dhall-haskell/tree/master/dhall-json☆64Updated 7 years ago
- GHC compiled against musl & uClibc☆42Updated last year
- [WIP] A type system for nix☆63Updated 6 years ago
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Updated 10 years ago
- Haskell implementation of the Nix store☆95Updated 2 months ago
- The Wadler/Leijen Pretty Printer for colored ANSI terminal output☆31Updated 6 years ago
- This repository has moved to https://github.com/dhall-lang/dhall-haskell/tree/master/dhall-nix☆88Updated 6 years ago
- A high level file watcher DSL☆41Updated 2 years ago
- Run programs defined in nix expressions☆51Updated 9 years ago
- A FUSE filesystem, written in Haskell, that allows one to mount NAR (Nix archive) files and expose them as a virtual Nix store.☆29Updated 9 years ago
- Generate project-info.json for use with nix's Maven repository generation functions☆32Updated last year
- Nix to Docker buildpack☆39Updated 10 years ago
- A set of morally pure fetching builtins for Nix.☆43Updated 2 years ago
- A Purescript implementation of Elm's `core` library☆30Updated 7 years ago
- Example project for developing PureScript projects with Nix☆19Updated 7 years ago
- Dynamic Disnix: A toolset enabling self-adaptive redeployment on top of Disnix☆30Updated 2 years ago
- A port of QuickCheck to Idris☆60Updated 8 years ago
- Parse and render *.drv files☆38Updated 6 months ago
- A concurrency framework for the Ivory language☆45Updated 6 years ago
- An empty code generator, to be used as a starting point for any new back ends.☆51Updated 8 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 7 years ago
- A special shebang to run scripts in a nix-shell☆28Updated 10 years ago
- Elaborate and expressive S-Expression library for Haskell☆65Updated last year