A Haskell DSL for Generating Dockerfiles
☆10Apr 25, 2025Updated last year
Alternatives and similar repositories for dockerfile
Users that are interested in dockerfile are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Benchmarks for numbers: ints, doubles, bignums, rationals, etc.☆20May 11, 2017Updated 8 years ago
- Generate recurring dates.☆17Jan 15, 2024Updated 2 years ago
- Simple helper functions to work with optparse-applicative☆29Jun 23, 2021Updated 4 years ago
- Automatic generation of haskell functions for querying servant webservices ... in GHCJS!☆13May 15, 2018Updated 7 years ago
- A text editor zipper libary☆21Nov 15, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A basic rate-limiting library for Haskell☆20Jan 3, 2023Updated 3 years ago
- Proof checker for propositional logic☆16Jul 7, 2017Updated 8 years ago
- Read and write images as massiv arrays☆14Oct 23, 2021Updated 4 years ago
- Haskell implementation of Glumpy☆12Jun 21, 2021Updated 4 years ago
- High level Haskell bindings to LXC (Linux containers).☆52Jan 21, 2016Updated 10 years ago
- A library of assemblers and disassemblers derived from LLVM TableGen data☆26Updated this week
- A Haskell implementation of a very compact representation of a placeholder for an image. https://blurha.sh☆12Mar 30, 2023Updated 3 years ago
- mtl friendly exceptions☆57Mar 2, 2026Updated 2 months ago
- Logic Explorer - customizable proof construction tool for sequent calculi☆21Jun 3, 2022Updated 3 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆22Jan 12, 2026Updated 3 months ago
- Type-safe library for generating haskell source code☆28Jan 28, 2018Updated 8 years ago
- A Haskell program and library to derive instances for data types☆25May 30, 2020Updated 5 years ago
- Management and Distribution of Secret Credentials☆23Apr 28, 2017Updated 9 years ago
- DSL with focus on simulations: Compiling a subset of Python with LLVM for high-performance execution☆11Nov 5, 2015Updated 10 years ago
- Simple HAProxy configuration linter☆10Apr 26, 2016Updated 10 years ago
- Minimal binary serialization library with focus on performance☆25Jul 16, 2025Updated 9 months ago
- FP Complete's Haskell Homepage☆14Mar 17, 2020Updated 6 years ago
- Perceptual hashing command-line tool☆20Jan 28, 2026Updated 3 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Yet Another Portable Library for Process Handling / Subshell Invokation☆10Aug 1, 2020Updated 5 years ago
- Typed definitions for standard Javascript globals☆11Dec 17, 2020Updated 5 years ago
- Rose (n-way) trees with both upwards- (i.e. cached) and downwards-traveling (i.e. accumulating) monoidal annotations.☆16Apr 18, 2026Updated 2 weeks ago
- A formal spec of the RISC-V Instruction Set Architecture, written in Bluespec BSV (executable, synthesizable)☆20Sep 15, 2017Updated 8 years ago
- A high level file watcher DSL☆41Dec 20, 2023Updated 2 years ago
- [WIP!] PureScript bindings to the blessed library☆10May 13, 2016Updated 9 years ago
- An efficient graph library for Haskell☆41Aug 26, 2025Updated 8 months ago
- Deploy IRC server using Docker☆14Dec 15, 2023Updated 2 years ago
- A haskell library providing Word128 and Int128 types☆21Mar 1, 2026Updated 2 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A Go tool that determines Go Packages that have been affected by changes to other packages between VCS commits.☆10Aug 2, 2023Updated 2 years ago
- Simple printing with Text☆10Jan 3, 2017Updated 9 years ago
- Generic interfaces for lisp collections.☆11Nov 16, 2015Updated 10 years ago
- fast unique variables☆10Aug 23, 2025Updated 8 months ago
- Precise description and operational execution of exotic contracts.☆36May 7, 2018Updated 7 years ago
- Cloudformation on steroids☆55Jun 18, 2015Updated 10 years ago
- Memory consistency modelling using Alloy☆31Dec 16, 2020Updated 5 years ago