A style guide for Haskell code.
☆15May 26, 2025Updated last year
Alternatives and similar repositories for haskell-style-guide
Users that are interested in haskell-style-guide are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Haskell Stackage curator build tool☆12Updated this week
- A curated list of awesome Haskell tutorial modules☆14Apr 7, 2026Updated 6 months ago
- Functionality for beautifying GHCi☆20Apr 6, 2020Updated 6 years ago
- Simple conversion from Agda text to literate Agda text.☆15Sep 21, 2026Updated last month
- keyed functors☆23Jan 10, 2026Updated 9 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- being the emperor of Mongo, but also a verb☆15Dec 25, 2018Updated 7 years ago
- Work in progress pure python dhall interpreter☆27Dec 23, 2018Updated 7 years ago
- 让 Java 1.8 也能像 Kotlin 一样使用 Sealed Class。Make Java 1.8 use Sealed Class like Kotlin☆12Aug 31, 2022Updated 4 years ago
- Documented version of a simple type-theoretic language: Mini-TT☆18May 5, 2019Updated 7 years ago
- A whirlwind tour of some Haskell design decisions☆22Nov 11, 2025Updated 11 months ago
- A small Kotlin multiplatform library to provide a "chat-like" console on various platforms.☆12Jun 29, 2024Updated 2 years ago
- My master thesis about generic programming and ornaments☆16Jul 5, 2016Updated 10 years ago
- ♾️ A library for universe levels and universe polymorphism☆42Sep 24, 2026Updated last month
- Configure dzen2 bars in Dhall language☆24Feb 18, 2020Updated 6 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Elm tutorial held at http://nfa.imn.htwk-leipzig.de/HAL2015/ and in university course http://www.janis-voigtlaender.eu/teaching/ffp15/☆12May 11, 2016Updated 10 years ago
- Find or build all reverse dependencies of a Haskell package using Nix☆14Jul 26, 2020Updated 6 years ago
- Communicate with Erlang node from Haskell☆13Mar 14, 2021Updated 5 years ago
- ☆11Sep 15, 2024Updated 2 years ago
- ☆23Jan 24, 2022Updated 4 years ago
- My type-ups for copilot to learn from.☆11Aug 30, 2022Updated 4 years ago
- GHC WASM backend made easy to use for platforms without precompiled bindists powered by Earthly☆15Jul 21, 2026Updated 3 months ago
- 🎒 Backpack interface for containers☆32Nov 6, 2020Updated 5 years ago
- Hackager tool for releasing Haskell packages to Hackage☆34Oct 6, 2026Updated 3 weeks ago
- 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.
- Dependently typed Algorithm M and friends☆26Jun 2, 2018Updated 8 years ago
- Applicative maps☆16Sep 29, 2024Updated 2 years ago
- Slides for presentation at NY Haskell Meetup.☆10Jul 29, 2018Updated 8 years ago
- ☆14Apr 15, 2025Updated last year
- A framework for extensible, reflective decision procedures.☆19Nov 25, 2019Updated 6 years ago
- A Python implementation of the Refinement Types Tutorial.☆10Feb 4, 2021Updated 5 years ago
- 📚 A library for managing libraries and resolving unit paths☆17Jun 19, 2026Updated 4 months ago
- effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy☆19Sep 25, 2026Updated last month
- A typeclass and set of functions for working with newtypes.☆10May 19, 2022Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Async test/bench toolkit including single stepping executors. No-std compatible.☆14Sep 19, 2021Updated 5 years ago
- Compiler backend for generating Scheme code☆30Nov 27, 2025Updated 11 months ago
- nix interpreter in javascript☆11May 16, 2024Updated 2 years ago
- Seamlessly switch between versions of GHC and company☆10Oct 16, 2018Updated 8 years ago
- User defined intrinsics, tailrec optimization☆12Nov 26, 2022Updated 3 years ago
- A Kotlin library implementing algebraic effect handlers.☆11Oct 23, 2023Updated 3 years ago
- An approach to user interfaces based in denotational design.☆27Jan 7, 2023Updated 3 years ago