|
|
Idris |
2 |
Types that can change their clothes |
Mar 05, 2023 |
|
|
Dhall |
4 |
PureScript bindings for writting gnome-shell extension |
Jun 22, 2022 |
|
|
Dhall |
4 |
You should probably not fork this repo. See https://github.com/justinwoo/spacchetti/ |
May 23, 2020 |
|
|
Dhall |
4 |
More configureable dhall utility than Prelude/JSON/renderYAML and its internal Blocks structures. |
Mar 11, 2020 |
|
|
Dhall |
5 |
Exposes AWS data as Dhall records |
Jan 31, 2022 |
|
|
Dhall |
5 |
Dhall renderer for security.txt |
May 10, 2021 |
|
|
Dhall |
5 |
Small example using react-basic-hooks and webpack |
Dec 16, 2021 |
|
|
Dhall |
6 |
Dhall types for Kops |
Jul 26, 2021 |
deploy-sourcegraph-dhall-archived
|
Dhall |
6 |
None |
Sep 21, 2020 |
|
|
Dhall |
6 |
Resume generation stack - create PDF, markdown, website resumes from a single resume specification |
Jul 23, 2022 |
|
|
Dhall |
7 |
A collection of Dhall packages |
Nov 26, 2021 |
|
|
Dhall |
8 |
Aviate Labs' package set for Vessel |
Mar 27, 2022 |
|
|
Dhall |
13 |
Dhall support for semantic version numbers |
Sep 02, 2021 |
|
|
Dhall |
557 |
Typecheck, template and modularize your Kubernetes definitions with Dhall |
Aug 28, 2022 |
|
|
Dhall |
815 |
Maintainable configuration files |
Sep 01, 2022 |
|
|
Dhall |
3699 |
Maintainable configuration files |
Sep 04, 2022 |
|
|
Dhall |
2 |
Default Community Health Files for the @SocialGouv organization on GitHub |
Feb 01, 2023 |
|
|
Dhall |
4 |
None |
Aug 01, 2020 |
|
|
Dhall |
4 |
The Terrifying Build System |
Jul 29, 2021 |
|
|
Dhall |
2 |
maddison's github pages blog |
Nov 16, 2022 |
|
|
Dhall |
2 |
None |
Aug 31, 2022 |
|
|
Dhall |
2 |
Utility functions for Dhall |
Oct 27, 2020 |
|
|
Dhall |
2 |
Dhall-packaged Hashicorp Vault |
May 10, 2021 |
|
|
Dhall |
2 |
Source for where all Sourcegraph deployments are derived from |
Dec 31, 2021 |
|
|
Dhall |
2 |
None |
Jan 23, 2021 |
|
|
Dhall |
2 |
Dhall types for bibtex integration |
Apr 18, 2022 |
|
|
Dhall |
2 |
None |
Oct 12, 2019 |
|
|
Dhall |
2 |
an example of how to read and parse a JSON file using Purescript-Node-FS-Aff and Purescript-Simple-JSON |
Feb 28, 2022 |
|
|
Dhall |
2 |
Example scala project using github-action-dhall to manage your CI workflow |
May 14, 2020 |
|
|
Dhall |
3 |
Programatically write GraphQL schemas using Dhall |
Dec 22, 2021 |
|
|
Dhall |
3 |
Helper functions for inserting a deku app into the DOM |
Apr 23, 2022 |
|
|
Dhall |
3 |
Single Collateral Dai deploy scripts using abi-to-dhall |
Feb 24, 2022 |
|
|
Dhall |
3 |
None |
Jul 26, 2022 |
|
|
Dhall |
16 |
The official community package-set for vessel |
Jul 19, 2022 |
|
|
Dhall |
18 |
Dhall types for Kubernetes Prometheus Operator |
Mar 28, 2022 |
|
|
Dhall |
19 |
Dhall support for directed graphs with labeled vertices |
Oct 08, 2021 |
|
|
Dhall |
23 |
Dhall types for Concourse |
Jun 28, 2022 |
|
|
Dhall |
32 |
Generate NetHack configurations using Dhall |
Mar 31, 2022 |
|
|
Dhall |
36 |
Dhall support for the DOT language for graphviz |
Sep 05, 2022 |
|
|
Dhall |
78 |
Typecheck, template and modularize your Github Action definitions with Dhall |
Jul 21, 2022 |
|
|
Dhall |
6 |
Declarative DNS for personal domains |
Jun 26, 2022 |
|
|
Dhall |
21 |
:dash: A library for writing Docker Compose files in Dhall. |
Aug 23, 2022 |
|
|
Dhall |
196 |
PureScript packages for Spago and Psc-Package |
Aug 21, 2022 |
|
|
Dhall |
2 |
None |
Jun 06, 2021 |
|
|
Dhall |
2 |
Dhall |
Apr 18, 2023 |
|
|
Dhall |
2 |
Generically reflect row types |
Jan 12, 2023 |
|
|
Dhall |
2 |
Generate constructors for Variant types |
Jan 16, 2023 |
|
|
Dhall |
4 |
Syntax highlighting support for Scdlang |
Dec 19, 2021 |
|
|
Dhall |
2 |
Typecheck, template and modularize your Github Action definitions with Dhall |
Jun 03, 2020 |
|
|
Dhall |
23 |
Create maintainable nomad job files |
Mar 12, 2023 |