A Haskell DSL for Generating Dockerfiles
☆10Apr 25, 2025Updated 11 months ago
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
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- 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☆26Aug 12, 2025Updated 8 months ago
- 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☆56Mar 2, 2026Updated last month
- Logic Explorer - customizable proof construction tool for sequent calculi☆21Jun 3, 2022Updated 3 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- ☆22Jan 12, 2026Updated 2 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 8 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 9 years ago
- Minimal binary serialization library with focus on performance☆25Jul 16, 2025Updated 8 months ago
- FP Complete's Haskell Homepage☆14Mar 17, 2020Updated 6 years ago
- Perceptual hashing command-line tool☆20Jan 28, 2026Updated 2 months ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- 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.☆16Mar 31, 2026Updated last week
- 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 7 months ago
- Deploy IRC server using Docker☆13Dec 15, 2023Updated 2 years ago
- A haskell library providing Word128 and Int128 types☆21Mar 1, 2026Updated last month
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- 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 7 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