A library to work with Puppet manifests, test them and eventually replace everything ruby.
☆52Nov 7, 2023Updated 2 years ago
Alternatives and similar repositories for language-puppet
Users that are interested in language-puppet are comparing it to the libraries listed below
Sorting:
- A hobby implementation of an ncurses binding for Idris 2☆16Dec 9, 2024Updated last year
- A template for idris projects☆11Jun 27, 2021Updated 4 years ago
- Parsers and (eventually) Idris code generator for WebIDL documents☆16Feb 10, 2025Updated last year
- The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)☆12Mar 9, 2019Updated 7 years ago
- DSL for attaching documentation to persistent entities☆14May 30, 2025Updated 9 months ago
- Read and write images as massiv arrays☆13Oct 23, 2021Updated 4 years ago
- van Laarhoven lenses for Idris☆20Sep 25, 2017Updated 8 years ago
- Haskell implementation of the InterPlanetary File System☆14Jul 30, 2014Updated 11 years ago
- Commonly useful extensions for the MMark markdown processor☆12Feb 2, 2026Updated last month
- A bunch of extra functionality for Hakyll-based sites.☆11Sep 30, 2015Updated 10 years ago
- public-facing repo for my serverless implementation of the statusphere app using cloudflare workers and durable objects☆23Jul 24, 2025Updated 7 months ago
- Privbind is a small tool allowing secure running of unprivileged programs, but allowing them to bind to privileged (<1024) TCP/UDP ports.…☆12Jul 18, 2016Updated 9 years ago
- A simple text editor written in Haskell with Brick☆13Mar 28, 2019Updated 6 years ago
- Atidot Code Snippets☆10Mar 9, 2020Updated 6 years ago
- Secrets is a system for safely storing and sharing passwords amongst a team☆12Jul 29, 2018Updated 7 years ago
- Vcsh hooks for better git submodules support. Check wiki for README☆13Jan 10, 2021Updated 5 years ago
- Go bindings for AWS☆40Jul 10, 2011Updated 14 years ago
- Text-based interactive GHC .prof viewer☆49Jun 19, 2023Updated 2 years ago
- Derive KnownNat constraints from other KnownNat constraints☆14Updated this week
- Stream editing with Haskell Attoparsec parsers☆14May 30, 2023Updated 2 years ago
- A port of Google's word2vec to Haskell☆26Aug 20, 2016Updated 9 years ago
- Simple indentation sensitive parser-combinators for parsec☆20Oct 2, 2023Updated 2 years ago
- A http client for Idris based on libcurl☆10Mar 18, 2016Updated 10 years ago
- Probabilistic music composition in Idris2☆16Dec 23, 2022Updated 3 years ago
- Provides a conduit based interface to uploading data to S3 using the Multipart API☆20Jun 10, 2024Updated last year
- Core modules for a blazing fast markup combinator library☆24May 25, 2025Updated 9 months ago
- Library for manipulating Haskell source code☆22Sep 11, 2025Updated 6 months ago
- ☆51Jul 24, 2025Updated 7 months ago
- My .*rc files and some stuff. Lots of garbage, use with caution.☆41Feb 4, 2020Updated 6 years ago
- Kubernetes workshop for newbies☆12Oct 16, 2020Updated 5 years ago
- Internal dashboard summarising the release pipeline for components of the GOV.UK web content management system.☆24Mar 13, 2026Updated last week
- Gravity simulation in Hyper terminal☆23Dec 6, 2022Updated 3 years ago
- Non-empty Vectors☆26Apr 17, 2025Updated 11 months ago
- Polynomial Lens☆29Dec 29, 2022Updated 3 years ago
- Experimental effects library for Idris 2☆44May 13, 2022Updated 3 years ago
- Amœba is a distributed network.☆18May 16, 2014Updated 11 years ago
- Haskell data types and functions for countries☆28Mar 7, 2025Updated last year
- A table library for Idris 2☆15Oct 25, 2022Updated 3 years ago
- An experimental HTTP framework for Idris☆14Mar 4, 2020Updated 6 years ago