jvanbruegge / dhall-openssl
Generate a type-safe openssl configuration file with dhall
☆14Updated last year
Related projects: ⓘ
- Derivations for easily downloading Dhall binaries and putting them to use.☆25Updated last year
- ☆44Updated last year
- Simple Nix derivations to bundle executables☆38Updated last year
- Parse and render *.drv files☆36Updated 9 months ago
- ☆91Updated 2 years ago
- Manage your Containerfile with Dhall.☆30Updated 2 years ago
- Yet Another Nix Type System | Source has moved to https://git.tazj.in/tree/nix/yants☆36Updated 4 years ago
- ☆34Updated 3 years ago
- The Dhall Configuration Language Manual☆46Updated 4 years ago
- A proposal for enhancing errors in Nix.☆28Updated 2 years ago
- Nixos stuff☆23Updated this week
- ☆13Updated 2 years ago
- Automatic code formatter for the Nix programming language☆52Updated 7 years ago
- seamless management of source dependencies with nix☆37Updated 3 months ago
- Some experiments are more experimental than others.☆26Updated 5 months ago
- A shebang for running scripts inside nix-shell with defined dependencies☆26Updated 4 years ago
- Old and New GHC☆21Updated last year
- Configure all the things!☆25Updated last week
- A set of morally pure fetching builtins for Nix.☆43Updated last year
- ☆25Updated last year
- Dhall types and default values for the alacritty terminal emulator☆12Updated 3 years ago
- A Dhall encoding of the GitLab CI configuration schema☆46Updated 10 months ago
- Automatic Haskell setup in Emacs, for Nix users☆28Updated 5 years ago
- Nix support for the Unison programming language☆56Updated last week
- Build Grafana dashboards with Dhall☆24Updated 7 months ago
- A library for using algebraic data types in the Nix expression language.☆30Updated 6 years ago
- A bunch of nix-shell files for inspiration.☆25Updated 4 years ago
- A simple formatter for Nix using tree-sitter-nix.☆46Updated 4 years ago
- Easy Haskell Language Server tooling with Nix!☆54Updated 2 years ago
- Deterministic Maven builds using Nix [maintainer=@icetan]☆47Updated 2 years ago