GitHub topics: dhall
podenv/podenv
a container wrapper
Language: Haskell - Size: 676 KB - Last synced at: about 9 hours ago - Pushed at: 23 days ago - Stars: 74 - Forks: 11
fuzz/clod
Efficiently manage Claude AI projects--save half off your API bill with this one weird trick
Language: Haskell - Size: 627 KB - Last synced at: 2 days ago - Pushed at: about 1 month ago - Stars: 33 - Forks: 1
cr-org/neutron
:stars: Purely functional Apache Pulsar client for Scala built on top of Fs2
Language: Scala - Size: 1.11 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 71 - Forks: 11
cachix/cachix
Command line client for Nix binary cache hosting:
Language: Haskell - Size: 3.35 MB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 897 - Forks: 48
dhall-lang/dhall-lang
Maintainable configuration files
Language: Dhall - Size: 3.56 MB - Last synced at: 8 days ago - Pushed at: about 2 months ago - Stars: 4,319 - Forks: 179
dhall-lang/dhall-kubernetes
Typecheck, template and modularize your Kubernetes definitions with Dhall
Language: Dhall - Size: 4.62 MB - Last synced at: 3 days ago - Pushed at: 9 months ago - Stars: 629 - Forks: 62
jcouyang/dhall-secret
Manage secrets in dhall config file
Language: Haskell - Size: 143 KB - Last synced at: 17 days ago - Pushed at: 17 days ago - Stars: 11 - Forks: 1
gaelreyrol/gaelreyrol.dev
My personal website
Language: Dhall - Size: 2.9 MB - Last synced at: 18 days ago - Pushed at: 18 days ago - Stars: 0 - Forks: 0
dhall-lang/dhall-haskell
Maintainable configuration files
Language: Dhall - Size: 9.55 MB - Last synced at: about 21 hours ago - Pushed at: 19 days ago - Stars: 936 - Forks: 218
Nadrieril/dhall-rust
Maintainable configuration files, for Rust users
Language: Rust - Size: 2.63 MB - Last synced at: 5 days ago - Pushed at: about 2 years ago - Stars: 317 - Forks: 26
travisbrown/dhallj
Dhall for Java
Language: Java - Size: 1.32 MB - Last synced at: 11 days ago - Pushed at: 10 months ago - Stars: 174 - Forks: 9
gvolpe/exchange-rates
:currency_exchange: Querying a rate-limited currency exchange API using Redis as a cache
Language: Haskell - Size: 187 KB - Last synced at: 9 days ago - Pushed at: about 5 years ago - Stars: 42 - Forks: 3
regadas/github-actions-dhall
Typecheck, template and modularize your Github Action definitions with Dhall
Language: Dhall - Size: 209 KB - Last synced at: 12 days ago - Pushed at: 4 months ago - Stars: 118 - Forks: 27
jbellerb/tree-sitter-dhall
Dhall grammar for tree-sitter
Language: JavaScript - Size: 1.68 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 7 - Forks: 2
softwarefactory-project/dhall-ansible
Ansible definitions with Dhall
Language: Dhall - Size: 296 KB - Last synced at: about 9 hours ago - Pushed at: 11 months ago - Stars: 68 - Forks: 13
MonoidMusician/dhall-purescript
Dhall implementation in PureScript
Language: PureScript - Size: 3.92 MB - Last synced at: 2 months ago - Pushed at: over 2 years ago - Stars: 97 - Forks: 5
jcouyang/dhall-generic
Dhall generic decoder for Scala
Language: Scala - Size: 221 KB - Last synced at: about 2 months ago - Pushed at: 6 months ago - Stars: 46 - Forks: 3
gaelreyrol/dhall-resume
JSON Resume with Dhall
Language: Dhall - Size: 61.5 KB - Last synced at: about 2 months ago - Pushed at: 3 months ago - Stars: 6 - Forks: 1
s-zeng/dhall-python Fork of TristanCacqueray/python-dhall
Python bindings for dhall, a functional configuration language
Language: Rust - Size: 5.04 MB - Last synced at: 9 days ago - Pushed at: 6 months ago - Stars: 47 - Forks: 6
amesgen/dhall-recursive-adt
Convert recursive ADTs between Dhall and Haskell
Language: Haskell - Size: 48.8 KB - Last synced at: 14 days ago - Pushed at: 4 months ago - Stars: 6 - Forks: 1
s-zeng/resume
Resume generation stack - create PDF, markdown, website resumes from a single resume specification
Language: Dhall - Size: 3.55 MB - Last synced at: 7 days ago - Pushed at: almost 2 years ago - Stars: 10 - Forks: 1
ocharles/micro-ci
A tiny CI server built around GitHub and Nix
Language: Haskell - Size: 79.1 KB - Last synced at: about 2 months ago - Pushed at: over 7 years ago - Stars: 134 - Forks: 14
dhall-lang/dhall-nix 📦
This repository has moved to https://github.com/dhall-lang/dhall-haskell/tree/master/dhall-nix
Language: Nix - Size: 73.2 KB - Last synced at: 3 days ago - Pushed at: about 6 years ago - Stars: 88 - Forks: 4
SupraSummus/dhall-python
Work in progress pure python dhall interpreter
Language: Python - Size: 148 KB - Last synced at: about 1 month ago - Pushed at: over 6 years ago - Stars: 27 - Forks: 3
sellout/dada
A total recursion scheme library for Dhall
Language: Nix - Size: 175 KB - Last synced at: about 2 months ago - Pushed at: 4 months ago - Stars: 66 - Forks: 8
softwarefactory-project/dhall-containerfile
Manage your Containerfile with Dhall.
Language: Dhall - Size: 188 KB - Last synced at: 29 days ago - Pushed at: over 3 years ago - Stars: 31 - Forks: 6
lifullconnect/dhall-kubernetes-spark
Dhall types for Spark Kubernetes Operator
Language: Dhall - Size: 32.2 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 3 - Forks: 0
cabalism/hpack-dhall
Use hpack's phrasing in dhall to write cabal files
Language: Dhall - Size: 353 KB - Last synced at: about 1 month ago - Pushed at: 5 months ago - Stars: 31 - Forks: 4
dhall-lang/dhall-to-cabal
Compile Dhall expressions to Cabal files
Language: Haskell - Size: 574 KB - Last synced at: 5 days ago - Pushed at: over 2 years ago - Stars: 101 - Forks: 17
psibi/dhall-mode
Language: Emacs Lisp - Size: 120 KB - Last synced at: 4 months ago - Pushed at: 5 months ago - Stars: 45 - Forks: 17
dhall-lang/dhall-json 📦
This repository has moved to https://github.com/dhall-lang/dhall-haskell/tree/master/dhall-json
Language: Haskell - Size: 98.6 KB - Last synced at: 5 days ago - Pushed at: over 6 years ago - Stars: 64 - Forks: 6
mujx/dhall-terraform
Generate dhall records from terraform resouces, data_sources & providers
Language: Dhall - Size: 804 KB - Last synced at: 3 months ago - Pushed at: about 5 years ago - Stars: 57 - Forks: 12
sellout/caterwaul
Wailing into the primordial ooze of category theory
Language: Dhall - Size: 974 KB - Last synced at: 3 months ago - Pushed at: 7 months ago - Stars: 55 - Forks: 1
zendesk/dhall-spinnaker 📦
Dhall bindings to the Spinnaker Pipeline API
Language: Dhall - Size: 19.5 KB - Last synced at: about 2 months ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 2
jbellerb/dhall-rook
Type definitions for working with Rook from Dhall
Language: Dhall - Size: 180 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0
polyvariant/pitgull 📦
Automatic housekeeping for your gitlab repositories.
Language: Scala - Size: 760 KB - Last synced at: about 2 months ago - Pushed at: 10 months ago - Stars: 16 - Forks: 3
vrom911/common-stanzas-example
Example project to demonstrate the common stanzas feature
Language: Dhall - Size: 18.6 KB - Last synced at: 3 months ago - Pushed at: over 5 years ago - Stars: 2 - Forks: 0
jcouyang/dhall-aws-cloudformation
Typecheck, template and modularize your AWS CloudFormation with Dhall
Language: Haskell - Size: 49.5 MB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 30 - Forks: 10
vmchale/hlint-lib 📦
Library containing some standard HLint helpers
Language: Dhall - Size: 32.2 KB - Last synced at: about 1 month ago - Pushed at: over 4 years ago - Stars: 8 - Forks: 1
sbdchd/dhall-docker-compose
:dash: A library for writing Docker Compose files in Dhall.
Language: Dhall - Size: 27.3 KB - Last synced at: about 2 months ago - Pushed at: 10 months ago - Stars: 25 - Forks: 18
akshaymankar/dhall-concourse
Library to type check concourse configurations in dhall
Language: Dhall - Size: 209 KB - Last synced at: 2 months ago - Pushed at: almost 4 years ago - Stars: 20 - Forks: 2
Anomalocaridid/dhall-waybar 📦
Dhall bindings for waybar
Language: Dhall - Size: 9.77 KB - Last synced at: 22 days ago - Pushed at: almost 3 years ago - Stars: 2 - Forks: 0
Xe/printerfacts
The printer facts API in Rust
Language: Rust - Size: 136 KB - Last synced at: 3 days ago - Pushed at: over 1 year ago - Stars: 14 - Forks: 3
f-f/dhall-clj
Dhall to and from Clojure
Language: Clojure - Size: 355 KB - Last synced at: about 2 months ago - Pushed at: about 6 years ago - Stars: 75 - Forks: 3
vmchale/dhall-vim
Syntax highlighting for Dhall
Language: Vim Script - Size: 167 KB - Last synced at: 29 days ago - Pushed at: about 1 year ago - Stars: 67 - Forks: 10
spacchetti/spacchetti 📦
dhall-driven package sets for psc-package. Mà, ho comprato una scatola di PureScript!
Language: Makefile - Size: 227 KB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 47 - Forks: 14
jcouyang/dhallbin
Dhall as a service
Language: Haskell - Size: 43.9 KB - Last synced at: 3 months ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 0
Marcel2603/DhallDockerCompose
dhall-docker-compose contains Dhall bindings to docker-compose. WIth the help of this lib, you can create a complete docker-compose with dhall.
Language: Dhall - Size: 34.2 KB - Last synced at: 2 months ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0
maxdeviant/dhall-semaphore
Dhall bindings for Semaphore CI
Language: Dhall - Size: 11.7 KB - Last synced at: about 2 months ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0
EarnestResearch/dhall-packages
Collection of dhall packages
Language: Dhall - Size: 370 KB - Last synced at: 6 months ago - Pushed at: over 1 year ago - Stars: 44 - Forks: 8
jmitchell/atom-language-dhall
Dhall language support in Atom (buggy and not released; see issue #2)
Size: 4.88 KB - Last synced at: 2 months ago - Pushed at: about 5 years ago - Stars: 4 - Forks: 0
basile-henry/dhall-bot
A small IRC bot for the Dhall language
Language: Haskell - Size: 17.6 KB - Last synced at: about 1 month ago - Pushed at: about 6 years ago - Stars: 1 - Forks: 0
alumxi22/website
code for alumxi.com
Language: Dhall - Size: 5.98 MB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 2
alejandrogallo/dhall-vasp
A dhall package for vasp configuration
Language: Dhall - Size: 1.95 KB - Last synced at: 3 months ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 0
alejandrogallo/dhall-matplotlib
Language: Dhall - Size: 3.91 KB - Last synced at: 3 months ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 0
akshaymankar/dhall-recursive-json
Convert recursive dhall data structures to json
Language: Haskell - Size: 30.3 KB - Last synced at: 2 months ago - Pushed at: over 6 years ago - Stars: 2 - Forks: 0
akshaymankar/dhall-fly
fly with dhall. Not to be confused with dal-tadka
Language: Haskell - Size: 106 KB - Last synced at: 23 days ago - Pushed at: over 5 years ago - Stars: 4 - Forks: 1
sellout/dhall-path
Well-typed path manipulation for Dhall
Language: Dhall - Size: 65.4 KB - Last synced at: 3 months ago - Pushed at: 7 months ago - Stars: 4 - Forks: 0
Miezhiko/Amadeus
アマデウス Memory storage and artificial intelligence system. Complex chatting AI bot for discord, also voice / music, streams trackers, WarCraft3 news, games trackers, various statistics/info grabbers.
Language: Rust - Size: 4.2 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 34 - Forks: 6
hagl/dhall-unison
A Unison (https://www.unisonweb.org) implementation of the Dhall configuration language (https://dhall-lang.org).
Size: 65.9 MB - Last synced at: 29 days ago - Pushed at: over 1 year ago - Stars: 7 - Forks: 0
alejandrogallo/dhall-bibtex
Dhall types for bibtex integration
Language: Dhall - Size: 6.84 KB - Last synced at: 3 months ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 0
mjgpy3/iam-dhall
Create IAM policies using dhall
Language: Dhall - Size: 11.7 KB - Last synced at: about 2 months ago - Pushed at: over 3 years ago - Stars: 9 - Forks: 2
sellout/dhall-dhall
Implementation of Dhall in Dhall
Language: Dhall - Size: 65.4 KB - Last synced at: 3 months ago - Pushed at: 7 months ago - Stars: 12 - Forks: 0
justinwoo/easy-dhall-nix
Derivations for easily downloading Dhall binaries and putting them to use.
Language: Nix - Size: 96.7 KB - Last synced at: 8 days ago - Pushed at: about 2 years ago - Stars: 25 - Forks: 14
alejandrogallo/eme-snippets
Language: Dhall - Size: 6.84 KB - Last synced at: 3 months ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0
edwardwas/dhall-output
Outputing types from Haskell to Dhall
Language: Haskell - Size: 11.7 KB - Last synced at: almost 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0
unclechu/HaKey
Software-level advanced keyboard customization tool
Size: 66.4 KB - Last synced at: 19 days ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0
maxdeviant/dhall-tsconfig
Dhall bindings for TSConfig
Language: Dhall - Size: 17.6 KB - Last synced at: about 2 months ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0
jcouyang/dhall-buildkite-plugin
Language: Shell - Size: 11.7 KB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0
GandelXIV/dhall-build-system
A build system
Language: Dhall - Size: 135 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0
seanpm2001/AI2001_Category-Source_Code-SC-Dhall
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Dhall category for AI2001, containing Dhall programming language datasets
Language: R - Size: 2.47 MB - Last synced at: 8 days ago - Pushed at: about 2 years ago - Stars: 2 - Forks: 1
awseward/gh-actions-dhall
A GitHub Action which typechecks and lints all Dhall files in a repository.
Language: Dhall - Size: 104 KB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 0
markbeep/server-config
Declarative Discord configuration which is synced with servers
Language: Python - Size: 126 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
jw3126/Dhall.jl
Use dhall from Julia
Language: Julia - Size: 12.7 KB - Last synced at: about 2 hours ago - Pushed at: about 5 years ago - Stars: 2 - Forks: 0
dhall-lang/dhall-text 📦
This repository has moved to https://github.com/dhall-lang/dhall-haskell/tree/master/dhall-text
Language: Nix - Size: 37.1 KB - Last synced at: 3 days ago - Pushed at: over 6 years ago - Stars: 21 - Forks: 3
sir4ur0n/functional-programming-for-problem-solvers
An attempt at showcasing how Engineers can use Functional Programming to solve real world problems
Language: PureScript - Size: 129 KB - Last synced at: over 2 years ago - Pushed at: about 6 years ago - Stars: 8 - Forks: 0
dhall-lang/dhall-bash 📦
This repository has moved to https://github.com/dhall-lang/dhall-haskell/tree/master/dhall-bash
Language: Haskell - Size: 43 KB - Last synced at: 3 days ago - Pushed at: over 6 years ago - Stars: 21 - Forks: 0
cideM/dhall-alacritty 📦
Dhall types and default values for the alacritty terminal emulator
Language: Dhall - Size: 50.8 KB - Last synced at: over 2 years ago - Pushed at: about 4 years ago - Stars: 11 - Forks: 1
eta-lang/dhall-eta 📦
A eta wrapper of dhall-haskell with the goal of provide a friendly java api over dhall
Language: Java - Size: 207 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 27 - Forks: 0
matsubara0507/yaml-to-dhall 📦
Roughly implement CLI tool to convert YAML to Dhall
Language: Haskell - Size: 9.77 KB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 9 - Forks: 0
starcraft66/dotnet-aks-dhall
Scaffolding to deploy dotnet apps on AKS and locally un a DRY manner
Language: Dhall - Size: 8.33 MB - Last synced at: about 5 hours ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
danieljharvey/tmux-mate
Launch and manage your Tmux sessions from Dhall files.
Language: Haskell - Size: 104 KB - Last synced at: 16 days ago - Pushed at: over 4 years ago - Stars: 17 - Forks: 0
humphrej/rules_dhall
Bazel rules to build dhall configurations
Language: Starlark - Size: 41 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 8 - Forks: 1
seanpm2001/SNU_2D_ProgrammingTools_IDE_Dhall
The Dhall Programming language IDE submodule for SNU Programming Tools (2D Mode)
Language: Dhall - Size: 578 KB - Last synced at: 8 days ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 1
seanpm2001/Learn-Dhall
A repository for showcasing my knowledge of the Dhall programming language, and continuing to learn the language
Language: Dhall - Size: 537 KB - Last synced at: 8 days ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 1
AleksanderGondek/rusty-sailor
Single-binary k8s installer for bare metal (one-node, multi-node)
Language: Rust - Size: 163 KB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
jcouyang/dhall-secret-buildkite-plugin
Language: Shell - Size: 9.77 KB - Last synced at: 3 months ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
novakov-alexey-zz/krb-operator2
new implemenation based on pure Scala kubernetes-client
Language: Scala - Size: 174 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 6 - Forks: 2
zilch-lang/pkgs
An open collection of user-contributed packages
Language: Dhall - Size: 22.5 KB - Last synced at: over 2 years ago - Pushed at: almost 3 years ago - Stars: 3 - Forks: 0
torbencarstens/dhall-nginx
Size: 34.2 KB - Last synced at: over 2 years ago - Pushed at: almost 4 years ago - Stars: 4 - Forks: 0
mcbloch/ESA
Expressive Safe Ansible
Language: Dhall - Size: 28.3 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0
ryota-ka/dhall-k8s-example
Language: Shell - Size: 1.95 KB - Last synced at: 2 months ago - Pushed at: almost 7 years ago - Stars: 2 - Forks: 1
pitcer/phall
Dhall-like configuration file language
Language: Haskell - Size: 210 KB - Last synced at: almost 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
jvanbruegge/kubernetes-config-v2
My new kubernetes setup with dhall
Language: Dhall - Size: 528 KB - Last synced at: 22 days ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 0
r2r-dev/dhall-bazel
Generate bazel build files using Dhall
Language: Dhall - Size: 15.6 KB - Last synced at: 3 days ago - Pushed at: almost 6 years ago - Stars: 3 - Forks: 1
sambacha/nix-pkgs
nix micro packages
Language: Shell - Size: 34.2 KB - Last synced at: 8 days ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
sambeckingham/dhall
Scoop bucket for Dhall binaries
Size: 15.6 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
etaty/example-dhall-terraform-github
Example of using Dhall to generate a terraform file to manage a Github Organisation
Language: HCL - Size: 11.7 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 11 - Forks: 7
wagdav/dhall-grafana
Typecheck, template and modularize your Grafana dashboards with Dhall
Language: Dhall - Size: 11.7 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 7 - Forks: 0
shoukoo/dhall-github-actions
Typecheck, template and modularize your GitHub Actions definitions with Dhall
Language: Dhall - Size: 57.6 KB - Last synced at: 3 days ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 0
