Top 6 Dhall Dhall Projects
Maintainable configuration filesProject mention: Typed Config Languages | news.ycombinator.com | 2022-01-21
Maintainable configuration filesProject mention: How to Learn Nix | news.ycombinator.com | 2021-11-22
If the problem is the syntax and people wants some other format that compiles to nix, there's dhall
Dhall is a generic config language with some programming capabilities (but not turing complete) that can compile to json, yaml, and other formats, like in this instance nix.
Static code analysis for 29 languages.. Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.
Typecheck, template and modularize your Kubernetes definitions with Dhall
Typecheck, template and modularize your Github Action definitions with DhallProject mention: GitHub investigating crypto-mining campaign abusing its server infrastructure | reddit.com/r/programming | 2021-04-03
I assume at commit time on the local machine. I'm doing something similar for a new PoC project with Dhall, using something like https://github.com/regadas/github-actions-dhall
Resume generation stack - create PDF, markdown, website resumes from a single resume specification (by s-zeng)Project mention: [OFFICIAL] Exemplary Resume Sharing Thread :: September, 2021 | reddit.com/r/cscareerquestions | 2021-09-08
It's a fairly modified version of AltaCV. You can see the source code for my version on my github repo (which also includes a half-baked resume templating system)
Dhall types for bibtex integrationProject mention: dhall-bibtex: a simple interface to bibtex for dhall | reddit.com/r/dhall | 2021-09-22
Dhall Dhall related posts
Does there exist a data-seralization language à la YAML that is typed?
3 projects | reddit.com/r/functionalprogramming | 20 Dec 2021
How to get past the "CRUD" phase?
2 projects | reddit.com/r/golang | 7 Dec 2021
Non-Turing complete languages offer a great advantage over Turing-complete languages as they are much more analyzable and, thus, offer much broader optimization possibilities. Yet they are barely used and Turing-completeness is actually sold as a good feature.
1 project | reddit.com/r/programmingcirclejerk | 5 Nov 2021
X Markup Language
1 project | reddit.com/r/ProgrammerHumor | 13 Oct 2021
Fall-from-Grace: A ready-to-fork functional programming language
2 projects | reddit.com/r/ProgrammingLanguages | 1 Oct 2021
1 project | reddit.com/r/programming | 28 Sep 2021
dhall-bibtex: a simple interface to bibtex for dhall
1 project | reddit.com/r/dhall | 22 Sep 2021
What are some of the best open-source Dhall projects in Dhall? This list will help you:
Are you hiring? Post a new remote job listing for free.