Static Analysis Tool for Dockerfiles in Haskell

In plain words

Hadolint is a Dockerfile linter that checks Docker configuration files for errors and best practices while validating inline bash scripts. Written in Haskell, it helps developers catch issues in Dockerfiles before deployment. The tool is designed for anyone building and maintaining Docker containers who wants to ensure their configurations follow standards and contain valid shell commands.

written from the facts on this page · September 2026

• 
  Lint for HTTP2016 · github.com · ▲138

  Validator for HTTP. Contribute to vfaronov/httpolice development by creating an account on GitHub.

• 
  KeystoneMar 2026 · github.com · ▲125

  We kept hitting the same wall: you clone some arbitrary repo and just want it to run without any configuration work. So we built Keystone, an open source tool that spins up a Modal sandbox, runs Claude Code inside it, and produces a working .devcontainer/ config (Dockerfile, devcontainer.json, test runner) for any git repo. We build on the dev container standard, so the output works with VS Code and GitHub Codespaces out of the box. Main use cases: reproducible dev/CI environments, self-describing repos, and safely sandboxed coding agents. Our goal is to encourage all repos to…

• 
  Custom Haskell handlers for Nginx2023 · github.com · ▲98

  This is rather a mature project. It began out of curiosity: I wanted to test if Haskell FFI was powerful and expressive enough to interconnect C and Haskell code flawlessly. Particularly, if C strings generated inside Nginx can be shared within Haskell code and what must be done to respect their lifetimes etc. Recently, I released version 3.2.0 with revamped README (with a lot of examples) and a new approach to building Haskell handlers using the modernized cabal v2-build for dependencies.

• 
  Sol – A de-minifier for shell programs2024 · github.com · ▲147

  I've built a tool called sol (like "soul") that helps you inspect and format complex shell one-liners. Features: - Choose which transformations you want (break on pipe, args, redirect, whatever) - "Peeks" into stringified commands (think xargs, parallel) and formats those, too - Auto-breaks at a given width (e.g., 80 characters) - Shows you non-standard aliases, functions, files, etc. that you might not have in your shell environment - Breaks up long jq lines with jqfmt because—let's be honest—they're getting out of hand As a security researcher and tool developer, I often encounter (or…

• 
  Config-file-validator – CLI tool to validate all your config files2023 · github.com · ▲33

  Cross-platform CLI tool to validate configuration files across 18 formats. Syntax and schema validation with JSON Schema, XSD, and SchemaStore integration. Written in Go. - Boeing/config-file-validator

• 
  A Lisp Interpreter for Shell Scripting2025 · github.com · ▲114

  Redstart is a lightweight Lisp interpreter written in C++ with a focus on shell scripting. It lets you combine the expressive power of Lisp with the practicality of the Unix shell: you can run commands, capture output, pipe between processes, and still use Lisp syntax for logic and structure. Think of it as writing your shell scripts in Lisp instead of Bash.

• 
  SimCity, but with Permits▲898

  A free city-building game in your browser. You are the mayor. You know what the city needs. Now get it past the zoning board, the neighbors, the appeals court and the next election.

  Life & fun · 1d ago · permit.petercai.com

• IV
  I've been paying for a rural Tanzanian's education for 10 years▲778

  Life & fun · 13d ago · tanzaniaeducationproject.org

• 
  Bigwords.page – Turn any screen into a sign. The URL is the app▲728

  Turn a phone, tablet or TV into a sign. Type a message and it fills the screen: welcome signs, timers, Wi-Fi passwords and more. No app, no account, free.

  Life & fun · 14d ago · bigwords.page

• 
  Guitoro, a virtual guitar you strum with your keyboard▲573

  Play a free virtual guitar online with your keyboard or by touch. Slow songs down and see every chord, string and strum. Acoustic, classic, electric and bass.

  Life & fun · 8d ago · guitoro.com

• 
  See *almost* any carriers phone settings▲432

  Carrier settings from iPhone, Pixel and Galaxy firmware, decoded and compared: APNs, VoLTE, 5G and Wi-Fi Calling per carrier, and what each build changed.

  Life & fun · 12d ago · carrierexplode.com

• 
  The whole Solar System and every tracked satellite, live in the browser▲407

  Life & fun · 22d ago · space.bl2.net

• 
  Siftery▲1,018

  Share products you use at work,explore what others are using

  Work · 2016 · siftery.com

• 
  Website Grader▲768

  Grade your website's strengths and weaknesses in seconds.

  Growth · 2016 · website.grader.com

• 
  Truebill▲766

  Find your paid subscriptions and cancel with one click

  Commerce · 2016 · rocketmoney.com

• 
  Oristand▲749

  A super affordable, portable standing desk

  Work · 2016 · oristand.co

• 
  Clearbit Connect▲723

  Rapportive on steroids. See data about contacts in Gmail.

  Growth · 2016 · clearbit.com

• 
  Maître Viral Referral Waiting List▲668

  Create a viral waiting list in 60 seconds

  Growth · 2016 · app.referralhero.com